diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2023-09-17 00:35:32 +0200 |
|---|---|---|
| committer | Mihai Moldovan <ionic@ionic.de> | 2023-09-19 17:23:30 +0200 |
| commit | c57a53ea271175876ab86ad4ca7549d5d8e371c2 (patch) | |
| tree | b4826ce6212d7543d021e1a664bb487f84602a49 /src | |
| parent | b9740163280c872f2af1c43e271b1469a6fc8b0a (diff) | |
| download | arctica-greeter-c57a53ea271175876ab86ad4ca7549d5d8e371c2.tar.gz arctica-greeter-c57a53ea271175876ab86ad4ca7549d5d8e371c2.tar.bz2 arctica-greeter-c57a53ea271175876ab86ad4ca7549d5d8e371c2.zip | |
src/settings.vala: Introduce 'high-contrast-icon-theme-name' gsetting and toggle icon theme if a11y indicator's high contrast switch gets toggled.
Diffstat (limited to 'src')
| -rw-r--r-- | src/settings.vala | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/settings.vala b/src/settings.vala index 7e8306d..67154e9 100644 --- a/src/settings.vala +++ b/src/settings.vala @@ -38,6 +38,7 @@ public class AGSettings : Object public const string KEY_THEME_NAME = "theme-name"; public const string KEY_HIGH_CONTRAST_THEME_NAME = "high-contrast-theme-name"; public const string KEY_ICON_THEME_NAME = "icon-theme-name"; + public const string KEY_HIGH_CONTRAST_ICON_THEME_NAME = "high-contrast-icon-theme-name"; public const string KEY_CURSOR_THEME_NAME = "cursor-theme-name"; public const string KEY_CURSOR_THEME_SIZE = "cursor-theme-size"; public const string KEY_FONT_NAME = "font-name"; @@ -164,17 +165,17 @@ public class AGSettings : Object var settings = Gtk.Settings.get_default (); if (value) { - /* debug ("Switching GTK Theme to high contrast theme \"%s\"", AGSettings.get_string (AGSettings.KEY_HIGH_CONTRAST_THEME_NAME)); - */ + debug ("Switching icon theme to high contrast theme \"%s\"", AGSettings.get_string (AGSettings.KEY_HIGH_CONTRAST_ICON_THEME_NAME)); settings.set ("gtk-theme-name", AGSettings.get_string (AGSettings.KEY_HIGH_CONTRAST_THEME_NAME)); + settings.set ("gtk-icon-theme-name", AGSettings.get_string (AGSettings.KEY_HIGH_CONTRAST_ICON_THEME_NAME)); } else { - /* debug ("Switching GTK Theme to default theme \"%s\"", this.default_theme_name_); - */ + debug ("Switching icon theme to default icon theme \"%s\"", AGSettings.get_string (AGSettings.KEY_ICON_THEME_NAME)); settings.set ("gtk-theme-name", this.default_theme_name_); + settings.set ("gtk-icon-theme-name", AGSettings.get_string (AGSettings.KEY_ICON_THEME_NAME)); } } } |