From 136dbbb41fdaa5359efcfa4602a3e0419f13e969 Mon Sep 17 00:00:00 2001
From: Owen Taylor <otaylor@src.gnome.org>
Date: Fri, 31 Oct 2008 18:05:19 +0000
Subject: [PATCH] Add shell_global_set_stage_input_area() to header file

shell_global_set_stage_input_area() wasn't in the header file
so it wasn't introspected; add it.

svn path=/trunk/; revision=9
---
 src/shell-global.h | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/shell-global.h b/src/shell-global.h
index e90c3d36e..83a355f0c 100644
--- a/src/shell-global.h
+++ b/src/shell-global.h
@@ -21,6 +21,13 @@ GType            shell_global_get_type            (void) G_GNUC_CONST;
 
 ShellGlobal *shell_global_get (void);
 
+void
+shell_global_set_stage_input_area (ShellGlobal *global,
+                                   int          x,
+                                   int          y,
+                                   int          width,
+                                   int          height);
+
 void _shell_global_set_plugin (ShellGlobal  *global,
 			       MutterPlugin *plugin);