diff options
Diffstat (limited to 'grc/gui/ParamWidgets.py')
| -rw-r--r-- | grc/gui/ParamWidgets.py | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/grc/gui/ParamWidgets.py b/grc/gui/ParamWidgets.py index 79d200ccfd..2089e9cd72 100644 --- a/grc/gui/ParamWidgets.py +++ b/grc/gui/ParamWidgets.py @@ -34,9 +34,13 @@ def have_dark_theme(): theme_name = config.get( 'Settings', Constants.GTK_INI_THEME_NAME_KEY, fallback=None) return is_dark_theme(theme_name) - theme = subprocess.check_output( - ["gsettings", "get", "org.gnome.desktop.interface", "gtk-theme"] - ).decode('utf-8').strip().replace("'", "") + try: + theme = subprocess.check_output( + ["gsettings", "get", "org.gnome.desktop.interface", "gtk-theme"], + stderr=subprocess.DEVNULL + ).decode('utf-8').strip().replace("'", "") + except: + return False return is_dark_theme(theme) def add_style_provider(): |