diff options
Diffstat (limited to 'mozilla-1405267.patch')
| -rw-r--r-- | mozilla-1405267.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/mozilla-1405267.patch b/mozilla-1405267.patch new file mode 100644 index 0000000..27fb5ea --- /dev/null +++ b/mozilla-1405267.patch @@ -0,0 +1,19 @@ +diff -up firefox-56.0/widget/gtk/mozgtk/mozgtk.c.1405267 firefox-56.0/widget/gtk/mozgtk/mozgtk.c +--- firefox-56.0/widget/gtk/mozgtk/mozgtk.c.1405267 2017-09-14 22:16:02.000000000 +0200 ++++ firefox-56.0/widget/gtk/mozgtk/mozgtk.c 2017-10-04 09:16:58.512697973 +0200 +@@ -96,6 +96,7 @@ STUB(gdk_window_get_update_area) + STUB(gdk_window_get_user_data) + STUB(gdk_window_get_visual) + STUB(gdk_window_get_width) ++STUB(gdk_window_get_window_type) + STUB(gdk_window_hide) + STUB(gdk_window_input_shape_combine_region) + STUB(gdk_window_invalidate_rect) +@@ -520,7 +521,6 @@ STUB(gdk_display_get_device_manager) + STUB(gdk_error_trap_pop_ignored) + STUB(gdk_event_get_source_device) + STUB(gdk_window_get_type) +-STUB(gdk_window_get_window_type) + STUB(gdk_x11_window_get_xid) + STUB(gdk_x11_display_get_type) + STUB(gdk_wayland_display_get_type) |