#UI_ENHANCEMENT by cg
authorClaus Gittinger <cg@exept.de>
Wed, 31 Aug 2016 19:07:16 +0200
changeset 16818 7c848d283910
parent 16817 2a7b77006cbf
child 16819 997264b26e8f
#UI_ENHANCEMENT by cg class: Tools::Inspector2 changed: #mainMenu
Tools__Inspector2.st
--- a/Tools__Inspector2.st	Wed Aug 31 19:00:53 2016 +0200
+++ b/Tools__Inspector2.st	Wed Aug 31 19:07:16 2016 +0200
@@ -460,8 +460,8 @@
             submenuChannel: viewMenu
           )
          (MenuItem
-            enabled: operationsMenuEnabledHolder
             label: 'Operations'
+            isVisible: operationsMenuEnabledHolder
             submenuChannel: operationsMenu
           )
          (MenuItem