diff options
author | Christian Persch <chpe@src.gnome.org> | 2022-09-30 23:39:44 +0200 |
---|---|---|
committer | Christian Persch <chpe@src.gnome.org> | 2022-09-30 23:39:44 +0200 |
commit | 4dc9dbe3a3e3d5effbd042a8f15dfd9f32e21adf (patch) | |
tree | 3ec3f598f63c37f1a951d2f206c361ae4d7b1a42 /src | |
parent | 86a19228196eb323c4a6512a6e531b5343a83282 (diff) | |
download | gnome-terminal-4dc9dbe3a3e3d5effbd042a8f15dfd9f32e21adf.tar.gz |
prefs: Use different wm class
https://gitlab.gnome.org/GNOME/gnome-terminal/-/issues/7934
Diffstat (limited to 'src')
-rw-r--r-- | src/terminal-app.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/terminal-app.cc b/src/terminal-app.cc index 59a4db15..f494b7d4 100644 --- a/src/terminal-app.cc +++ b/src/terminal-app.cc @@ -852,7 +852,13 @@ terminal_app_startup (GApplication *application) G_APPLICATION_CLASS (terminal_app_parent_class)->startup (application); /* Need to set the WM class (bug #685742) */ +#if defined(TERMINAL_SERVER) gdk_set_program_class("Gnome-terminal"); +#elif defined(TERMINAL_PREFERENCES) + gdk_set_program_class("Gnome-terminal-preferences"); +#else +#error +#endif app_load_css (application); |