--- a/TabListEditor.st	Fri Nov 01 05:49:38 2019 +0100
+++ b/TabListEditor.st	Fri Nov 01 05:49:50 2019 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1997 by eXept Software AG
               All Rights Reserved
@@ -1723,7 +1725,9 @@
 !
 
 openDocumentation
-   self openHTMLDocument:'tools/uipainter/TabListEditor.html'.
+    "Called when <F1> is pressed"
+
+    self openHTMLDocument:'tools/uipainter/TabListEditor.html'.
 ! !
 
 !TabListEditor class methodsFor:'documentation'!