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.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.8 * Core GTK-based user interface
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.16 debug_window_t debug_window_new( const gchar *title, GtkWidget *menubar,
1.17 GtkWidget *toolbar, GtkAccelGroup *accel );