gdk-3.0, gdk-x11-3.0, gtk+-3.0: Update to 3.9.14

diff --git a/vapi/gdk-x11-3.0.vapi b/vapi/gdk-x11-3.0.vapi
index a7bf46bd9a7a81b08580ab5519f4578fd11f4da7..a053b1781d8d934a78af36e63919c8efe3cf3a05 100644 (file)
--- a/vapi/gdk-x11-3.0.vapi
+++ b/vapi/gdk-x11-3.0.vapi
@@ -78,7 +78,9 @@ namespace Gdk {
        public class X11Screen : Gdk.Screen {
                [CCode (has_construct_function = false)]
                protected X11Screen ();
+               public static uint32 get_current_desktop (Gdk.Screen screen);
                public static X.ID get_monitor_output (Gdk.Screen screen, int monitor_num);
+               public static uint32 get_number_of_desktops (Gdk.Screen screen);
                public static int get_screen_number (Gdk.Screen screen);
                public static unowned string get_window_manager_name (Gdk.Screen screen);
                public static unowned X.Screen get_xscreen (Gdk.Screen screen);
@@ -105,9 +107,11 @@ namespace Gdk {
                [CCode (has_construct_function = false)]
                protected X11Window ();
                public static unowned Gdk.Window foreign_new_for_display (Gdk.Display display, X.Window window);
+               public static uint32 get_desktop (Gdk.Window window);
                public static X.Window get_xid (Gdk.Window window);
                public static unowned Gdk.Window lookup_for_display (Gdk.Display display, X.Window window);
                public static void move_to_current_desktop (Gdk.Window window);
+               public static void move_to_desktop (Gdk.Window window, uint32 desktop);
                public static void set_frame_extents (Gdk.Window window, int left, int right, int top, int bottom);
                public static void set_frame_sync_enabled (Gdk.Window window, bool frame_sync_enabled);
                public static void set_hide_titlebar_when_maximized (Gdk.Window window, bool hide_titlebar_when_maximized);

diff --git a/vapi/packages/gdk-x11-3.0/gdk-x11-3.0.gi b/vapi/packages/gdk-x11-3.0/gdk-x11-3.0.gi
index 531bb6eac68b569846f260767b3b788c2c1ec168..8edd3942b657cef9fe96625e5c05f209e74653b6 100644 (file)
--- a/vapi/packages/gdk-x11-3.0/gdk-x11-3.0.gi
+++ b/vapi/packages/gdk-x11-3.0/gdk-x11-3.0.gi
@@ -276,6 +276,12 @@
                        </method>
                </object>
                <object name="GdkX11Screen" parent="GdkScreen" type-name="GdkX11Screen" get-type="gdk_x11_screen_get_type">
+                       <method name="get_current_desktop" symbol="gdk_x11_screen_get_current_desktop">
+                               <return-type type="guint32"/>
+                               <parameters>
+                                       <parameter name="screen" type="GdkScreen*"/>
+                               </parameters>
+                       </method>
                        <method name="get_monitor_output" symbol="gdk_x11_screen_get_monitor_output">
                                <return-type type="XID"/>
                                <parameters>
@@ -283,6 +289,12 @@
                                        <parameter name="monitor_num" type="gint"/>
                                </parameters>
                        </method>
+                       <method name="get_number_of_desktops" symbol="gdk_x11_screen_get_number_of_desktops">
+                               <return-type type="guint32"/>
+                               <parameters>
+                                       <parameter name="screen" type="GdkScreen*"/>
+                               </parameters>
+                       </method>
                        <method name="get_screen_number" symbol="gdk_x11_screen_get_screen_number">
                                <return-type type="int"/>
                                <parameters>
@@ -338,6 +350,12 @@
                                        <parameter name="window" type="Window"/>
                                </parameters>
                        </method>
+                       <method name="get_desktop" symbol="gdk_x11_window_get_desktop">
+                               <return-type type="guint32"/>
+                               <parameters>
+                                       <parameter name="window" type="GdkWindow*"/>
+                               </parameters>
+                       </method>
                        <method name="get_xid" symbol="gdk_x11_window_get_xid">
                                <return-type type="Window"/>
                                <parameters>
@@ -357,6 +375,13 @@
                                        <parameter name="window" type="GdkWindow*"/>
                                </parameters>
                        </method>
+                       <method name="move_to_desktop" symbol="gdk_x11_window_move_to_desktop">
+                               <return-type type="void"/>
+                               <parameters>
+                                       <parameter name="window" type="GdkWindow*"/>
+                                       <parameter name="desktop" type="guint32"/>
+                               </parameters>
+                       </method>
                        <method name="set_frame_extents" symbol="gdk_x11_window_set_frame_extents">
                                <return-type type="void"/>
                                <parameters>

diff --git a/vapi/packages/gtk+-3.0/gtk+-3.0.gi b/vapi/packages/gtk+-3.0/gtk+-3.0.gi
index 00b60a731b23f477d4d6d9716d98aefb046bf18b..ebabbf441f0573ba9c550d876237b2e53ff686ac 100644 (file)
--- a/vapi/packages/gtk+-3.0/gtk+-3.0.gi
+++ b/vapi/packages/gtk+-3.0/gtk+-3.0.gi
@@ -33461,14 +33461,14 @@
                                </parameters>
                        </vfunc>
                </interface>
-               <constant name="GTK_BINARY_AGE" type="int" value="913"/>
+               <constant name="GTK_BINARY_AGE" type="int" value="914"/>
                <constant name="GTK_INPUT_ERROR" type="int" value="-1"/>
                <constant name="GTK_INTERFACE_AGE" type="int" value="0"/>
                <constant name="GTK_LEVEL_BAR_OFFSET_HIGH" type="char*" value="high"/>
                <constant name="GTK_LEVEL_BAR_OFFSET_LOW" type="char*" value="low"/>
                <constant name="GTK_MAJOR_VERSION" type="int" value="3"/>
                <constant name="GTK_MAX_COMPOSE_LEN" type="int" value="7"/>
-               <constant name="GTK_MICRO_VERSION" type="int" value="13"/>
+               <constant name="GTK_MICRO_VERSION" type="int" value="14"/>
                <constant name="GTK_MINOR_VERSION" type="int" value="9"/>
                <constant name="GTK_PAPER_NAME_A3" type="char*" value="iso_a3"/>
                <constant name="GTK_PAPER_NAME_A4" type="char*" value="iso_a4"/>