From d60f177134fb113ccdf0bb172a2fc8c5ecb2411f Mon Sep 17 00:00:00 2001 From: Mike Gabriel Date: Sat, 30 Sep 2023 14:22:02 +0200 Subject: settings: Add font scaling via GDK_DPI_SCALE. This is not adjustable at runtime (for now). --- src/settings.vala | 1 + 1 file changed, 1 insertion(+) (limited to 'src/settings.vala') 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"; -- cgit v1.2.3