debian/patches: Add 0001_fix_setting_transparency.patch. Fix setting transparency when used in GNOME3.

2018-03-29 21:50:24 +01:00
parent 430f00de58
commit c38dc7985e
2 changed files with 32 additions and 0 deletions
--- a/debian/patches/0001_fix_setting_transparency.patch
+++ b/debian/patches/0001_fix_setting_transparency.patch
@ -0,0 +1,31 @@
+Author: liuyi92 <liuyi19920905@gmail.com>
+Description: Fix setting transparency when used in GNOME3
+
+--- a/src/terminal-screen.c
+++ b/src/terminal-screen.c
+@@ -1138,6 +1138,25 @@ update_color_scheme (TerminalScreen *screen)
+ 	if (bold_rgba)
+ 		vte_terminal_set_color_bold (VTE_TERMINAL (screen),
+ 		                             bold_rgba);
+
+	/* In case of being used in GNOME3 desktop environment.
+	 * code references to gnome-terminal
+	 */
+	if (bg_type == TERMINAL_BACKGROUND_TRANSPARENT)
+	{
+		/* toplevel widget */
+		GtkWidget *toplevel;
+		toplevel = gtk_widget_get_toplevel (GTK_WIDGET (screen));
+		if (toplevel != NULL && gtk_widget_is_toplevel (toplevel) 
+			     && !gtk_widget_get_app_paintable (toplevel))
+		{
+			gtk_widget_set_app_paintable (toplevel, TRUE);
+			/* The opaque region of the toplevel isn't updated until the toplevel is allocated;
+			 * set_app_paintable() doesn't force an allocation, so do that manually.
+			 */
+			gtk_widget_queue_resize (toplevel);
+		}
+	}
+ }
+ 
+ void
--- a/debian/patches/series
+++ b/debian/patches/series
@ -1 +1,2 @@
+0001_fix_setting_transparency.patch
 1001_add-keywords-to-desktop-files.patch