plugin-crash.diff 1.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051
  1. # HG changeset patch
  2. # User Jan Steffens <jan.steffens@gmail.com>
  3. # Date 1505475854 -7200
  4. # Node ID 3cd2263687293a229277037090add3bea2531057
  5. # Parent 70f5f23a429f3d621e44307c191fa84c77fb2f61
  6. Bug 1400175 - Stub gdk_screen_get_monitor_workarea in mozgtk2; r?karlt
  7. MozReview-Commit-ID: 72K6U17JuoK
  8. diff --git a/widget/gtk/mozgtk/mozgtk.c b/widget/gtk/mozgtk/mozgtk.c
  9. --- a/widget/gtk/mozgtk/mozgtk.c
  10. +++ b/widget/gtk/mozgtk/mozgtk.c
  11. @@ -56,17 +56,16 @@
  12. STUB(gdk_screen_get_default)
  13. STUB(gdk_screen_get_display)
  14. STUB(gdk_screen_get_font_options)
  15. STUB(gdk_screen_get_height)
  16. STUB(gdk_screen_get_height_mm)
  17. STUB(gdk_screen_get_n_monitors)
  18. STUB(gdk_screen_get_monitor_at_window)
  19. STUB(gdk_screen_get_monitor_geometry)
  20. -STUB(gdk_screen_get_monitor_workarea)
  21. STUB(gdk_screen_get_monitor_height_mm)
  22. STUB(gdk_screen_get_number)
  23. STUB(gdk_screen_get_resolution)
  24. STUB(gdk_screen_get_rgba_visual)
  25. STUB(gdk_screen_get_root_window)
  26. STUB(gdk_screen_get_system_visual)
  27. STUB(gdk_screen_get_width)
  28. STUB(gdk_screen_height)
  29. @@ -514,16 +513,17 @@
  30. #ifdef GTK3_SYMBOLS
  31. STUB(gdk_device_get_source)
  32. STUB(gdk_device_manager_get_client_pointer)
  33. STUB(gdk_disable_multidevice)
  34. STUB(gdk_device_manager_list_devices)
  35. STUB(gdk_display_get_device_manager)
  36. STUB(gdk_error_trap_pop_ignored)
  37. STUB(gdk_event_get_source_device)
  38. +STUB(gdk_screen_get_monitor_workarea)
  39. STUB(gdk_window_get_type)
  40. STUB(gdk_window_get_window_type)
  41. STUB(gdk_x11_window_get_xid)
  42. STUB(gdk_x11_display_get_type)
  43. STUB(gdk_wayland_display_get_type)
  44. STUB(gtk_box_new)
  45. STUB(gtk_cairo_should_draw_window)
  46. STUB(gtk_cairo_transform_to_window)