1.1 --- a/src/gui/gtkui.c	Wed Oct 31 11:53:35 2007 +0000
     1.2 +++ b/src/gui/gtkui.c	Thu Nov 08 11:55:47 2007 +0000
     1.3 @@ -1,5 +1,5 @@
     1.4  /**
     1.5 - * $Id: gtkui.c,v 1.10 2007-10-31 11:53:35 nkeynes Exp $
     1.6 + * $Id: gtkui.c,v 1.11 2007-11-02 08:22:32 nkeynes Exp $
     1.7   *
     1.8   * Core GTK-based user interface
     1.9   *
    1.10 @@ -198,7 +198,6 @@
    1.11      gtk_gui_enable_action("AudioSettings", FALSE);
    1.12      gtk_gui_enable_action("NetworkSettings", FALSE);
    1.13      gtk_gui_enable_action("VideoSettings", FALSE);
    1.14 -    gtk_gui_enable_action("FullScreen", FALSE);
    1.15  
    1.16      global_ui_manager = gtk_ui_manager_new();
    1.17      gtk_ui_manager_set_add_tearoffs(global_ui_manager, TRUE);