diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2025-03-22 22:05:59 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2025-03-24 17:57:37 +0100 |
| commit | e8d37d2fe2d3b6827c495f86ce4ac7951486f970 (patch) | |
| tree | 985da7d1a25bd29af96156df692055ffe68edcf0 /src/settings.vala | |
| parent | 6586045b99e43ed046f051d23b0b7f8b131f38c1 (diff) | |
| download | arctica-greeter-e8d37d2fe2d3b6827c495f86ce4ac7951486f970.tar.gz arctica-greeter-e8d37d2fe2d3b6827c495f86ce4ac7951486f970.tar.bz2 arctica-greeter-e8d37d2fe2d3b6827c495f86ce4ac7951486f970.zip | |
Introduce UI/widget scaling per scaling factor.
This gsettings 'widget-scaling-factor' can be used together with the 'xft-dpi' setting to fractionally scale the UI to better readability.
Diffstat (limited to 'src/settings.vala')
| -rw-r--r-- | src/settings.vala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.vala b/src/settings.vala index ea1db9d..1f046d4 100644 --- a/src/settings.vala +++ b/src/settings.vala @@ -77,6 +77,7 @@ public class AGSettings : Object public const string KEY_FLATBUTTON_BORDERCOLOR = "flatbutton-bordercolor"; public const string KEY_ENABLE_HIDPI = "enable-hidpi"; public const string KEY_FONT_SCALING = "font-scaling"; + public const string KEY_WIDGET_SCALING = "widget-scaling"; public const string KEY_MENUBAR_ALPHA = "menubar-alpha"; public const string KEY_HIDE_DEFAULT_XSESSION = "hide-default-xsession"; public const string KEY_HIDE_X11_SESSIONS = "hide-x11-sessions"; |