# HG changeset patch
# User ib
# Date 1326474995 0
# Node ID 2f88fa3b9e5e0d9708efa3b3ce2d88caf54745b1
# Parent  f866092d51cd328912611a2c98b7231185c2de58
Cosmetic: Revise comment.

diff -r f866092d51cd -r 2f88fa3b9e5e gui/ui/main.c
--- a/gui/ui/main.c	Fri Jan 13 16:44:35 2012 +0000
+++ b/gui/ui/main.c	Fri Jan 13 17:16:35 2012 +0000
@@ -328,10 +328,10 @@
 
 
    case evMenu:
-        /*if (guiApp.menuIsPresent)   NOTE TO MYSELF: Not before mouse over and
-         {                                            cursor keys will work there.
-          gtkShow( ivHidePopUpMenu,NULL );
-          uiShowMenu( 0,0 );
+        /*if (guiApp.menuIsPresent)   NOTE TO MYSELF: Uncomment only after mouse
+         {                                            pointer and cursor keys work
+          gtkShow( ivHidePopUpMenu,NULL );            with this menu from skin as
+          uiShowMenu( 0,0 );                          they do with normal menus.
          }
         else*/ gtkShow( ivShowPopUpMenu,NULL );
         break;