123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051 |
- # HG changeset patch
- # User Jan Steffens <jan.steffens@gmail.com>
- # Date 1505475854 -7200
- # Node ID 3cd2263687293a229277037090add3bea2531057
- # Parent 70f5f23a429f3d621e44307c191fa84c77fb2f61
- Bug 1400175 - Stub gdk_screen_get_monitor_workarea in mozgtk2; r?karlt
- MozReview-Commit-ID: 72K6U17JuoK
- diff --git a/widget/gtk/mozgtk/mozgtk.c b/widget/gtk/mozgtk/mozgtk.c
- --- a/widget/gtk/mozgtk/mozgtk.c
- +++ b/widget/gtk/mozgtk/mozgtk.c
- @@ -56,17 +56,16 @@
- STUB(gdk_screen_get_default)
- STUB(gdk_screen_get_display)
- STUB(gdk_screen_get_font_options)
- STUB(gdk_screen_get_height)
- STUB(gdk_screen_get_height_mm)
- STUB(gdk_screen_get_n_monitors)
- STUB(gdk_screen_get_monitor_at_window)
- STUB(gdk_screen_get_monitor_geometry)
- -STUB(gdk_screen_get_monitor_workarea)
- STUB(gdk_screen_get_monitor_height_mm)
- STUB(gdk_screen_get_number)
- STUB(gdk_screen_get_resolution)
- STUB(gdk_screen_get_rgba_visual)
- STUB(gdk_screen_get_root_window)
- STUB(gdk_screen_get_system_visual)
- STUB(gdk_screen_get_width)
- STUB(gdk_screen_height)
- @@ -514,16 +513,17 @@
- #ifdef GTK3_SYMBOLS
- STUB(gdk_device_get_source)
- STUB(gdk_device_manager_get_client_pointer)
- STUB(gdk_disable_multidevice)
- STUB(gdk_device_manager_list_devices)
- STUB(gdk_display_get_device_manager)
- STUB(gdk_error_trap_pop_ignored)
- STUB(gdk_event_get_source_device)
- +STUB(gdk_screen_get_monitor_workarea)
- 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)
- STUB(gtk_box_new)
- STUB(gtk_cairo_should_draw_window)
- STUB(gtk_cairo_transform_to_window)
|