--- a/src/gui.h	Mon Jul 14 07:44:42 2008 +0000
+++ b/src/gui.h	Mon Feb 09 00:13:46 2009 +0000
@@ -63,6 +63,13 @@
 void gui_update_state();
 
 /**
+ * Notify the GUI to enable/disable mouse grabs according to the flag value.
+ * If the parameter is FALSE and the grab is currently active, the GUI should
+ * immediately cancel the grab.
+ */
+void gui_set_use_grab( gboolean grab );
+
+/**
  * Notify the GUI of I/O activity. 
  * @param activity the type of IO activity being reported.
  * @param active TRUE if the I/O device is becoming active, FALSE if inactive.