diff -r ae02dee6db87 -r 525d8b42574e WorkspaceApplication.st
--- a/WorkspaceApplication.st	Fri Nov 01 05:49:53 2019 +0100
+++ b/WorkspaceApplication.st	Fri Nov 01 05:52:26 2019 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 2001 by eXept Software AG
               All Rights Reserved
@@ -3157,6 +3159,7 @@
 
 openDocumentation
     "opens the documentation file"
+    "Called when <F1> is pressed"
 
     self openHTMLDocument: 'tools/misc/TOP.html#WORKSPACE'
 !