diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2023-09-30 14:22:02 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2023-10-10 22:42:28 +0200 |
| commit | d60f177134fb113ccdf0bb172a2fc8c5ecb2411f (patch) | |
| tree | 9d9cf418a621f9dd799bcf99b1541d4ca106a637 /src/settings.vala | |
| parent | df05936e999785768cabb13df6f30c1cbcfc2d87 (diff) | |
| download | arctica-greeter-d60f177134fb113ccdf0bb172a2fc8c5ecb2411f.tar.gz arctica-greeter-d60f177134fb113ccdf0bb172a2fc8c5ecb2411f.tar.bz2 arctica-greeter-d60f177134fb113ccdf0bb172a2fc8c5ecb2411f.zip | |
settings: Add font scaling via GDK_DPI_SCALE. This is not adjustable at runtime (for now).
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 c5d59ca..e4386a6 100644 --- a/src/settings.vala +++ b/src/settings.vala @@ -73,6 +73,7 @@ public class AGSettings : Object public const string KEY_FLATBUTTON_BGCOLOR = "flatbutton-bgcolor"; 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_MENUBAR_ALPHA = "menubar-alpha"; public const string KEY_HIDE_DEFAULT_XSESSION = "hide-default-xsession"; public const string KEY_HIDE_X11_SESSIONS = "hide-x11-sessions"; |