Sam Atkins 423383e9aa ThemeEditor: Give each theme property its own editing widget ... This is quite a radical change. The previous UI was very easy to add new properties to (just add to the FooRole enum and it automatically works), but not so nice to use: A ComboBox for selecting a property, and then a box to edit that property's value. This makes it difficult to compare different properties or edit multiple together without a lot of back-and-forth. This new design gives each property its own editing widgets, with those categorized into several tabs. To try and avoid increasing the maintenance burden for this, the UI is generated from the `windows_tab`, `widgets_tab` and `syntax_highlighting_tab` variables, which are basically just lists of which properties go in that tab. One of the `FooProperty.gml` files is loaded to create each property's widgets.		2022-05-21 22:25:33 +02:00
..
AlignmentProperty.gml	ThemeEditor: Give each theme property its own editing widget	2022-05-21 22:25:33 +02:00
CMakeLists.txt	ThemeEditor: Give each theme property its own editing widget	2022-05-21 22:25:33 +02:00
ColorProperty.gml	ThemeEditor: Give each theme property its own editing widget	2022-05-21 22:25:33 +02:00
FlagProperty.gml	ThemeEditor: Give each theme property its own editing widget	2022-05-21 22:25:33 +02:00
main.cpp	ThemeEditor: Give each theme property its own editing widget	2022-05-21 22:25:33 +02:00
MainWidget.cpp	ThemeEditor: Give each theme property its own editing widget	2022-05-21 22:25:33 +02:00
MainWidget.h	ThemeEditor: Give each theme property its own editing widget	2022-05-21 22:25:33 +02:00
MetricProperty.gml	ThemeEditor: Give each theme property its own editing widget	2022-05-21 22:25:33 +02:00
PathProperty.gml	ThemeEditor: Give each theme property its own editing widget	2022-05-21 22:25:33 +02:00
PreviewWidget.cpp	ThemeEditor: Fix Clang build failure in PreviewWidget	2022-05-07 23:33:00 +02:00
PreviewWidget.h	LibGUI+ThemeEditor: Split preview-widget palette-change callback	2022-04-29 20:06:39 +02:00
ThemeEditor.gml	ThemeEditor: Give each theme property its own editing widget	2022-05-21 22:25:33 +02:00