openocd: avoid documentation rebuild to fix build issues
[buildroot-gz.git] / package / midori / 0001-fix-bug-1492932.patch
blob27ad283a589bf733965613b00d053ec3a56c74c2
1 Fix for https://bugs.launchpad.net/midori/+bug/1492932
2 Patch status: upstream
4 Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
6 --- a/midori/midori-browser.c 2015-07-11 16:03:43 +0000
7 +++ b/midori/midori-browser.c 2015-09-25 21:30:31 +0000
8 @@ -5953,11 +5953,6 @@
9 G_CALLBACK (midori_browser_destroy_cb), NULL);
10 gtk_window_set_role (GTK_WINDOW (browser), "browser");
11 gtk_window_set_icon_name (GTK_WINDOW (browser), MIDORI_STOCK_WEB_BROWSER);
12 - #if GTK_CHECK_VERSION (3, 4, 0)
13 - #ifndef HAVE_GRANITE
14 - gtk_window_set_hide_titlebar_when_maximized (GTK_WINDOW (browser), TRUE);
15 - #endif
16 - #endif
17 vbox = gtk_vbox_new (FALSE, 0);
18 /* gtk_container_add (GTK_CONTAINER (browser), vbox);
19 gtk_widget_show (vbox); */
21 --- a/midori/midori-view.c 2015-07-06 21:26:46 +0000
22 +++ b/midori/midori-view.c 2015-09-25 21:30:31 +0000
23 @@ -3495,9 +3495,6 @@
25 else
26 gtk_window_set_icon_name (GTK_WINDOW (window), icon_name);
27 - #if GTK_CHECK_VERSION (3, 4, 0)
28 - gtk_window_set_hide_titlebar_when_maximized (GTK_WINDOW (window), TRUE);
29 - #endif
30 gtk_widget_set_size_request (GTK_WIDGET (inspector_view), 700, 100);
31 #if GTK_CHECK_VERSION (3, 0, 0)
32 scrolled = gtk_scrolled_window_new (NULL, NULL);
34 --- a/midori/midori-window.vala 2015-08-16 00:14:26 +0000
35 +++ b/midori/midori-window.vala 2015-09-25 21:30:31 +0000
36 @@ -28,7 +28,6 @@
37 toolbar.show_arrow = true;
38 #if HAVE_GTK3
39 toolbar.get_style_context ().add_class ("primary-toolbar");
40 - hide_titlebar_when_maximized = true;
41 #endif
42 toolbar.popup_context_menu.connect ((x, y, button) => {
43 return button == 3 && context_menu (toolbar); });