diff options
Diffstat (limited to 'grc/gui/Constants.py')
| -rw-r--r-- | grc/gui/Constants.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/grc/gui/Constants.py b/grc/gui/Constants.py index a3d08cbe38..573fabe82b 100644 --- a/grc/gui/Constants.py +++ b/grc/gui/Constants.py @@ -106,6 +106,17 @@ and kindly ask to update their GRC Block Descriptions or Block Tree to include a # DPI_SCALING = _SCREEN_RESOLUTION / 96.0 if _SCREEN_RESOLUTION > 0 else 1.0 DPI_SCALING = 1.0 # todo: figure out the GTK3 way (maybe cairo does this for us +# Gtk-themes classified as dark +GTK_DARK_THEMES = [ + 'Adwaita-dark', + 'HighContrastInverse', +] + +GTK_SETTINGS_INI_PATH = '~/.config/gtk-3.0/settings.ini' + +GTK_INI_PREFER_DARK_KEY = 'gtk-application-prefer-dark-theme' +GTK_INI_THEME_NAME_KEY = 'gtk-theme-name' + def update_font_size(font_size): global PORT_SEPARATION, BLOCK_FONT, PORT_FONT, PARAM_FONT, FONT_SIZE |