Ubuntu Pastebin

Paste from laney at Tue, 22 Mar 2016 10:21:03 +0000

Download as text 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
--- gnome-terminal-3.18.3.orig/src/terminal-notebook.c
+++ gnome-terminal-3.18.3/src/terminal-notebook.c
@@ -50,6 +50,9 @@ enum
 #define ACTION_AREA_BORDER_WIDTH (2)
 #define ACTION_BUTTON_SPACING (6)
 
+#define ACTION_AREA_BORDER_WIDTH_STYLE_NAME "action-area-border-width"
+#define ACTION_BUTTON_SPACING_STYLE_NAME "action-button-spacing"
+
 /* helper functions */
 
 static void
@@ -558,6 +561,14 @@ terminal_notebook_class_init (TerminalNo
                         GTK_TYPE_POLICY_TYPE,
                         GTK_POLICY_AUTOMATIC,
                         G_PARAM_READWRITE | G_PARAM_STATIC_STRINGS));
+
+  gtk_widget_class_install_style_property (widget_class,
+     g_param_spec_int (ACTION_AREA_BORDER_WIDTH_STYLE_NAME, NULL, NULL, G_MININT, G_MAXINT, ACTION_AREA_BORDER_WIDTH,
+                         G_PARAM_READABLE | G_PARAM_STATIC_NAME | G_PARAM_STATIC_NICK | G_PARAM_STATIC_BLURB));
+
+  gtk_widget_class_install_style_property (widget_class,
+     g_param_spec_int (ACTION_BUTTON_SPACING_STYLE_NAME, NULL, NULL, G_MININT, G_MAXINT, ACTION_BUTTON_SPACING,
+                         G_PARAM_READABLE | G_PARAM_STATIC_NAME | G_PARAM_STATIC_NICK | G_PARAM_STATIC_BLURB));
 }
 
 /* public API */
@@ -600,6 +611,7 @@ terminal_notebook_get_action_box (Termin
 {
   GtkNotebook *gtk_notebook;
   GtkWidget *box, *inner_box;
+  gint action_area_border_width, action_button_spacing;
 
   g_return_val_if_fail (TERMINAL_IS_NOTEBOOK (notebook), NULL);
 
@@ -613,11 +625,16 @@ terminal_notebook_get_action_box (Termin
     return list->data;
   }
 
+  gtk_widget_style_get (GTK_WIDGET (notebook),
+                        ACTION_AREA_BORDER_WIDTH_STYLE_NAME, &action_area_border_width,
+                        ACTION_BUTTON_SPACING_STYLE_NAME, &action_button_spacing,
+                        NULL);
+
   /* Create container for the buttons */
   box = gtk_box_new (GTK_ORIENTATION_VERTICAL, 0);
-  gtk_container_set_border_width (GTK_CONTAINER (box), ACTION_AREA_BORDER_WIDTH);
+  gtk_container_set_border_width (GTK_CONTAINER (box), action_area_border_width);
 
-  inner_box = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, ACTION_BUTTON_SPACING);
+  inner_box = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, action_button_spacing);
   gtk_box_pack_start (GTK_BOX (box), inner_box, TRUE, FALSE, 0);
   gtk_widget_show (inner_box);
Download as text