1.1 --- a/src/gui/gtkui.h	Wed Oct 31 11:53:35 2007 +0000
     1.2 +++ b/src/gui/gtkui.h	Fri Nov 02 08:22:33 2007 +0000
     1.3 @@ -1,5 +1,5 @@
     1.4  /**
     1.5 - * $Id: gtkui.h,v 1.10 2007-10-31 11:53:35 nkeynes Exp $
     1.6 + * $Id: gtkui.h,v 1.11 2007-11-02 08:22:32 nkeynes Exp $
     1.7   *
     1.8   * Core GTK-based user interface
     1.9   *
    1.10 @@ -42,6 +42,7 @@
    1.11  void main_window_set_running( main_window_t win, gboolean running );
    1.12  void main_window_set_framerate( main_window_t win, float rate );
    1.13  void main_window_set_speed( main_window_t win, double speed );
    1.14 +void main_window_set_fullscreen( main_window_t win, gboolean fullscreen );
    1.15  
    1.16  debug_window_t debug_window_new( const gchar *title, GtkWidget *menubar,
    1.17  				 GtkWidget *toolbar, GtkAccelGroup *accel );