diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2023-03-01 13:48:46 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2023-03-01 13:48:46 +0100 |
| commit | 15a2c211e2e13f18bc9e32b5b71c0a0f7da83f1e (patch) | |
| tree | e25337a1cbde6445bf785513ebc924b3ef5d17eb /src/settings.vala | |
| parent | a4537a44bffc689d71714ac0d6b327877af237cc (diff) | |
| download | arctica-greeter-15a2c211e2e13f18bc9e32b5b71c0a0f7da83f1e.tar.gz arctica-greeter-15a2c211e2e13f18bc9e32b5b71c0a0f7da83f1e.tar.bz2 arctica-greeter-15a2c211e2e13f18bc9e32b5b71c0a0f7da83f1e.zip | |
src/toggle-box.vala: Allow for more fine-grained color-tweaking of the toggle box (session selector box) via gsettings.
Diffstat (limited to 'src/settings.vala')
| -rw-r--r-- | src/settings.vala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/settings.vala b/src/settings.vala index c90f3da..a2dabd0 100644 --- a/src/settings.vala +++ b/src/settings.vala @@ -54,7 +54,14 @@ public class AGSettings : Object public const string KEY_ONLY_ON_MONITOR = "only-on-monitor"; public const string KEY_REMOTE_SERVICE_CONFIGURE_URI = "remote-service-configure-uri"; public const string KEY_TOGGLEBOX_FONT_FGCOLOR = "togglebox-font-fgcolor"; + public const string KEY_TOGGLEBOX_FONT_FGCOLOR_ACTIVE = "togglebox-font-fgcolor-active"; + public const string KEY_TOGGLEBOX_FONT_FGCOLOR_SELECTED = "togglebox-font-fgcolor-selected"; public const string KEY_TOGGLEBOX_BUTTON_BGCOLOR = "togglebox-button-bgcolor"; + public const string KEY_TOGGLEBOX_BUTTON_BGCOLOR_ACTIVE = "togglebox-button-bgcolor-active"; + public const string KEY_TOGGLEBOX_BUTTON_BGCOLOR_SELECTED = "togglebox-button-bgcolor-selected"; + public const string KEY_TOGGLEBOX_BUTTON_BORDERCOLOR = "togglebox-button-bordercolor"; + public const string KEY_TOGGLEBOX_BUTTON_BORDERCOLOR_ACTIVE = "togglebox-button-bordercolor-active"; + public const string KEY_TOGGLEBOX_BUTTON_BORDERCOLOR_SELECTED = "togglebox-button-bgcolor-selected"; public const string KEY_FLATBUTTON_BGCOLOR = "flatbutton-bgcolor"; public const string KEY_FLATBUTTON_BORDERCOLOR = "flatbutton-bordercolor"; public const string KEY_ENABLE_HIDPI = "enable-hidpi"; |