From ee3e72324e391bdec49b2b5cd637ae0e9d5d496f Mon Sep 17 00:00:00 2001 From: Christian Persch Date: Fri, 3 Feb 2023 21:39:12 +0100 Subject: prefs: Fix default terminal check Check whether the terminal's application ID is the default, not the preferences' application ID. This fixes the "Set as default" button sensitivity in the preferences. --- src/terminal-app.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/terminal-app.cc b/src/terminal-app.cc index 70933a68..b6740e3c 100644 --- a/src/terminal-app.cc +++ b/src/terminal-app.cc @@ -403,12 +403,14 @@ terminal_app_theme_variant_changed_cb (GSettings *settings, static void terminal_app_check_default(TerminalApp* app) { +#ifdef TERMINAL_SERVER // Only do this for the default app ID gs_free char* app_id = nullptr; g_object_get(app, "application-id", &app_id, nullptr); if (!_terminal_debug_on(TERMINAL_DEBUG_DEFAULT) && !g_str_equal(app_id, TERMINAL_APPLICATION_ID)) return; +#endif /* TERMINAL_SERVER */ // Check whether gnome-terminal is the default terminal // as per XDG-Terminal-Exec. -- cgit v1.2.1