# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1472663236 -7200
# Node ID 7c848d283910c1b5db335a36d455e7f78c657c96
# Parent  2a7b77006cbfa6386781c03f4350c28e1169aefa
#UI_ENHANCEMENT by cg
class: Tools::Inspector2
changed: #mainMenu

diff -r 2a7b77006cbf -r 7c848d283910 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