Commit Graph

9 Commits

Author SHA1 Message Date
Jesper
4ab8d2120c Fix capitalization 2024-06-12 13:25:05 +02:00
Jesper
90ad278098 Remove whitespace 2024-06-12 10:38:27 +02:00
Jesper
d8820edd7d Fuzzy search setting 2024-06-12 10:35:31 +02:00
Michael Webster
8342b85b91 gtk: Fix a couple of deprecations 2020-06-10 11:42:03 -04:00
Clement Lefebvre
7cded29c87 Preferences: Fix IconChooser argument 2019-11-29 12:01:29 +00:00
Clement Lefebvre
52e82071b8 Add menu icon selection 2019-11-19 14:00:10 +00:00
Clement Lefebvre
048b6c042c l10n: Update POT 2019-07-22 13:45:21 +02:00
Clement Lefebvre
b7a1fa0b94 Remove support for custom colors
Since the move to GTK3 custom color support is extremely hacky and buggy:

- It relies on gtk_widget_override_color() which is deprecated
- Only one call to gtk_widget_override_color() is functional, successive
calls are ignored, leading to the menu not changing colors when the custom
colors are changed or enabled/disabled.
- RegenPlugins leads to a loss of color.
- Theme changes are broken due to overridden colors.

The feature is also very niche and quite unecessary. If a custom color is
better than the default one we should apply the change in the theme or
define a new theme which inherits ours and simply defines the menu
differently.

The way to do this, in line with GTK's design, is via CSS at theme level.
2019-07-22 13:30:59 +02:00
Clement Lefebvre
2a4267673d Revamp preferences
Use xapp widgets
Rewrite
2019-05-20 14:50:28 +01:00