#UI_ENHANCEMENT by cg
authorClaus Gittinger <cg@exept.de>
Tue, 18 Sep 2018 21:33:34 +0200
changeset 18392 9687c8cc5b4d
parent 18391 84485dc3aeb8
child 18393 fd04030f1e56
#UI_ENHANCEMENT by cg class: NewLauncher class changed: #toolsMenu
NewLauncher.st
--- a/NewLauncher.st	Tue Sep 18 12:33:15 2018 +0200
+++ b/NewLauncher.st	Tue Sep 18 21:33:34 2018 +0200
@@ -2680,6 +2680,7 @@
                 )
                (MenuItem
                   activeHelpKey: toolsOOM
+                  isVisible: oomPackageLoaded
                   enabled: oomPackageLoaded
                   label: 'Code Metrics Browser'
                   itemValue: startOOMBrowser
@@ -2874,6 +2875,8 @@
         nil
         nil
       )
+
+    "Modified: / 18-09-2018 / 21:32:26 / Claus Gittinger"
 !
 
 toolsMiscMenu