0001-fix-bug-1492932.patch 1.7 KB

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