diff options
Diffstat (limited to 'x11-terms/gnome-terminal/files/gnome-terminal-maximizee.patch')
| -rw-r--r-- | x11-terms/gnome-terminal/files/gnome-terminal-maximizee.patch | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/x11-terms/gnome-terminal/files/gnome-terminal-maximizee.patch b/x11-terms/gnome-terminal/files/gnome-terminal-maximizee.patch new file mode 100644 index 0000000..89a924a --- /dev/null +++ b/x11-terms/gnome-terminal/files/gnome-terminal-maximizee.patch @@ -0,0 +1,23 @@ +From 6b79b0085b6c8630ea21b27be6f35ccec99784e2 Mon Sep 17 00:00:00 2001 +From: Frédéric Péters <fpeters@0d.be> +Date: Fri, 17 Feb 2012 15:05:03 +0000 +Subject: Do not show the titlebar when the window is maximized + +https://bugzilla.gnome.org/show_bug.cgi?id=670291 +--- +diff --git a/src/terminal-window.c b/src/terminal-window.c +index 2a77c53..32ea1fb 100644 +--- a/src/terminal-window.c ++++ b/src/terminal-window.c +@@ -1836,6 +1836,9 @@ terminal_window_init (TerminalWindow *window) + #endif + + gtk_window_set_title (GTK_WINDOW (window), _("Terminal")); ++#if GTK_CHECK_VERSION (3, 3, 6) ++ gtk_window_set_hide_titlebar_when_maximized (GTK_WINDOW (window), TRUE); ++#endif + + priv->active_screen = NULL; + +-- +cgit v0.9.0.2 |