diff gui/ui/main.c @ 34473:2f88fa3b9e5e

Cosmetic: Revise comment.
author ib
date Fri, 13 Jan 2012 17:16:35 +0000
parents f866092d51cd
children 980e3cb2a5a8
line wrap: on
line diff
--- 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;