[vala] gdk-3.0, gdk-x11-3.0, gtk+-3.0: Update to 3.9.14

[Rico Tzschichholz <ricotz src gnome org>]

commit eda654833feb0bcfd0aa7dec24a6a708bbdbdc83
Author: Rico Tzschichholz <ricotz ubuntu com>
Date:   Wed Sep 4 09:18:59 2013 +0200

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

 vapi/gdk-x11-3.0.vapi                    |    4 ++++
 vapi/packages/gdk-x11-3.0/gdk-x11-3.0.gi |   25 +++++++++++++++++++++++++
 vapi/packages/gtk+-3.0/gtk+-3.0.gi       |    4 ++--
 3 files changed, 31 insertions(+), 2 deletions(-)
---
diff --git a/vapi/gdk-x11-3.0.vapi b/vapi/gdk-x11-3.0.vapi
index a7bf46b..a053b17 100644
--- 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 531bb6e..8edd394 100644
--- 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 00b60a7..ebabbf4 100644
--- 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"/>