#UI_ENHANCEMENT by cg
authorClaus Gittinger <cg@exept.de>
Tue, 27 Dec 2016 14:15:29 +0100
changeset 17199 a58711b0efde
parent 17198 551129abfddb
child 17200 a22082c4f728
#UI_ENHANCEMENT by cg class: WorkspaceApplication changed: #executionMenu
WorkspaceApplication.st
--- a/WorkspaceApplication.st	Tue Dec 27 14:14:29 2016 +0100
+++ b/WorkspaceApplication.st	Tue Dec 27 14:15:29 2016 +0100
@@ -1242,7 +1242,7 @@
             itemValue: doIt
           )
          (MenuItem
-            enabled: hasSelectionInActiveWorkspace
+            enabled: hasSelectionInActiveWorkspaceAndEditorIsNotReadonly
             label: 'PrintIt'
             itemValue: printIt
           )