diff options
Diffstat (limited to 'gnome-desktop.patch')
| -rw-r--r-- | gnome-desktop.patch | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gnome-desktop.patch b/gnome-desktop.patch new file mode 100644 index 000000000000..d5d867ec24d9 --- /dev/null +++ b/gnome-desktop.patch @@ -0,0 +1,9 @@ +diff --git data/desktop/org.gnome.Germinal.desktop.in.in data/desktop/org.gnome.Germinal.desktop.in.in +index 677e67f..e12ad7c 100644 +--- data/desktop/org.gnome.Germinal.desktop.in.in ++++ data/desktop/org.gnome.Germinal.desktop.in.in +@@ -10,3 +10,4 @@ Terminal=false + Categories=GTK;GNOME;Utility;TerminalEmulator;System; + StartupWMClass=germinal + StartupNotify=true ++X-GNOME-SingleWindow=false |