From eda654833feb0bcfd0aa7dec24a6a708bbdbdc83 Mon Sep 17 00:00:00 2001
From: Rico Tzschichholz <ricotz@ubuntu.com>
Date: Wed, 4 Sep 2013 09:18:59 +0200
Subject: [PATCH] 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 a7bf46bd9..a053b1781 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 531bb6eac..8edd3942b 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 00b60a731..ebabbf441 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"/>
-- 
2.47.2