diff options
| author |   Chuang Zhu <genelocated@yandex.com> | 2021-05-18 12:08:42 +0800 |
|---|---|---|
| committer |   mormj <34754695+mormj@users.noreply.github.com> | 2021-06-01 07:41:38 -0400 |
| commit | eac195620858b4312d1fcd4a783f17a07bc85ee3 (patch) | |
| tree | f471604470744fa9c8812a7d50b426acd3e3595b /grc | |
| parent | grc: fix dark theme on ParamWidgets (diff) | |
| download | gnuradio-eac195620858b4312d1fcd4a783f17a07bc85ee3.tar.xz gnuradio-eac195620858b4312d1fcd4a783f17a07bc85ee3.zip | |
grc: fix dark theme name not affecting colors
Signed-off-by: Chuang Zhu <genelocated@yandex.com>
Diffstat (limited to 'grc')
| -rw-r--r-- | grc/gui/ParamWidgets.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/grc/gui/ParamWidgets.py b/grc/gui/ParamWidgets.py index 54132acd1..1cdfc3498 100644 --- a/grc/gui/ParamWidgets.py +++ b/grc/gui/ParamWidgets.py @@ -29,9 +29,9 @@ def have_dark_theme(): config.read(os.path.expanduser(Constants.GTK_SETTINGS_INI_PATH)) prefer_dark = config.get( 'Settings', Constants.GTK_INI_PREFER_DARK_KEY, fallback=None) - if prefer_dark in ('1', 'yes', 'true', 'on'): - theme_name = config.get( - 'Settings', Constants.GTK_INI_THEME_NAME_KEY, fallback=None) + theme_name = config.get( + 'Settings', Constants.GTK_INI_THEME_NAME_KEY, fallback=None) + if prefer_dark in ('1', 'yes', 'true', 'on') or is_dark_theme(theme_name): return True try: theme = subprocess.check_output( |