#UI_ENHANCEMENT by exept
authorClaus Gittinger <cg@exept.de>
Thu, 17 Oct 2019 22:07:50 +0200
changeset 8843 6a876fd40a2e
parent 8842 f6f0b74a8b7c
child 8844 71867baa556e
#UI_ENHANCEMENT by exept class: DisplaySurface changed: #keyPress:x:y:
DisplaySurface.st
--- a/DisplaySurface.st	Thu Oct 17 22:07:31 2019 +0200
+++ b/DisplaySurface.st	Thu Oct 17 22:07:50 2019 +0200
@@ -2285,6 +2285,11 @@
                 self keyPress:restKey x:x y:y
             ]
         ].
+        key == #Help ifTrue:[
+            Error ignoreIn:[
+                self application openDocumentation.
+            ].
+        ].
     ].
 
     "Modified: 6.11.1996 / 17:51:15 / cg"