diff options
| author | Christian Persch <chpe@src.gnome.org> | 2022-10-01 13:48:06 +0200 |
|---|---|---|
| committer | Christian Persch <chpe@src.gnome.org> | 2022-10-01 13:48:06 +0200 |
| commit | fe5a3b2a9486a7d5084ae274a7b2699336b4d98b (patch) | |
| tree | 5b5861cb82922e897f60a4312573f99ee3b61e3c /src | |
| parent | ffc11e132aa67323bcc37d6d47e4f540c2ae9797 (diff) | |
| download | gnome-terminal-fe5a3b2a9486a7d5084ae274a7b2699336b4d98b.tar.gz | |
prefs: Use new icon
Diffstat (limited to 'src')
| -rw-r--r-- | src/terminal-app.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/terminal-app.cc b/src/terminal-app.cc index f494b7d4..f672e4ab 100644 --- a/src/terminal-app.cc +++ b/src/terminal-app.cc @@ -70,6 +70,8 @@ #include <gdk/gdkx.h> #endif +#define GNOME_TERMINAL_PREFERENCES_ICON_NAME "org.gnome.Terminal.Preferences" + #define DESKTOP_INTERFACE_SETTINGS_SCHEMA "org.gnome.desktop.interface" #define SYSTEM_PROXY_SETTINGS_SCHEMA "org.gnome.system.proxy" @@ -920,7 +922,13 @@ terminal_app_constructed(GObject *object) terminal_app_init_debug (); +#if defined(TERMINAL_SERVER) gtk_window_set_default_icon_name (GNOME_TERMINAL_ICON_NAME); +#elif defined(TERMINAL_PREFERENCES) + gtk_window_set_default_icon_name(GNOME_TERMINAL_PREFERENCES_ICON_NAME); +#else +#error +#endif if (app->settings_backend == nullptr) app->settings_backend = g_settings_backend_get_default (); |