# HG changeset patch
# User ib
# Date 1314900479 0
# Node ID 2c26c2f2136e19e9f4f5feb62194fe4c913417a1
# Parent  bb35e74851cdc7f1b11ae12a6807915c024471db
Remove pointless condition.

Rather than gtkShowVideoWindow, guiInfo.VideoWindow must be checked
which has already been assured a few lines above.

diff -r bb35e74851cd -r 2c26c2f2136e gui/ui/gtk/menu.c
--- a/gui/ui/gtk/menu.c	Thu Sep 01 17:57:15 2011 +0000
+++ b/gui/ui/gtk/menu.c	Thu Sep 01 18:07:59 2011 +0000
@@ -633,7 +633,7 @@
     N=AddMenuCheckItem( window1, (const char*)normal_xpm, Menu,MSGTR_MENU_NormalSize"      ",b1,evNormalSize );
     D=AddMenuCheckItem( window1, (const char*)double_xpm, Menu,MSGTR_MENU_DoubleSize,b2,evDoubleSize );
     F=AddMenuCheckItem( window1, (const char*)full_xpm, Menu,MSGTR_MENU_FullScreen,guiApp.subWindow.isFullScreen,evFullScreen );
-  if ( !gtkShowVideoWindow && !guiInfo.Playing )
+  if ( !guiInfo.Playing )
    {
     gtk_widget_set_sensitive( H,FALSE );
     gtk_widget_set_sensitive( N,FALSE );