1.1 --- a/src/gtkui/gtkui.h Mon Jul 21 00:08:34 2008 +0000
1.2 +++ b/src/gtkui/gtkui.h Thu Aug 28 01:39:51 2008 +0000
1.4 void main_window_set_speed( main_window_t win, double speed );
1.5 void main_window_set_fullscreen( main_window_t win, gboolean fullscreen );
1.6 void main_window_set_use_grab( main_window_t win, gboolean grab );
1.7 +void main_window_update_title( main_window_t win );
1.9 debug_window_t debug_window_new( const gchar *title, GtkWidget *menubar,
1.10 GtkWidget *toolbar, GtkAccelGroup *accel );