mozilla-1405267.patch

   1 diff -up firefox-56.0/widget/gtk/mozgtk/mozgtk.c.1405267 firefox-56.0/widget/gtk/mozgtk/mozgtk.c
   2 --- firefox-56.0/widget/gtk/mozgtk/mozgtk.c.1405267     2017-09-14 22:16:02.000000000 +0200
   3 +++ firefox-56.0/widget/gtk/mozgtk/mozgtk.c     2017-10-04 09:16:58.512697973 +0200
   4 @@ -96,6 +96,7 @@ STUB(gdk_window_get_update_area)
   5  STUB(gdk_window_get_user_data)
   6  STUB(gdk_window_get_visual)
   7  STUB(gdk_window_get_width)
   8 +STUB(gdk_window_get_window_type)
   9  STUB(gdk_window_hide)
  10  STUB(gdk_window_input_shape_combine_region)
  11  STUB(gdk_window_invalidate_rect)
  12 @@ -520,7 +521,6 @@ STUB(gdk_display_get_device_manager)
  13  STUB(gdk_error_trap_pop_ignored)
  14  STUB(gdk_event_get_source_device)
  15  STUB(gdk_window_get_type)
  16 -STUB(gdk_window_get_window_type)
  17  STUB(gdk_x11_window_get_xid)
  18  STUB(gdk_x11_display_get_type)
  19  STUB(gdk_wayland_display_get_type)