# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1572583790 -3600
# Node ID 4f210d7fe0cb5eb8b1f605aad832dbec5b9162ab
# Parent  f7777887c17cdc473fe3742b0d58ccc7c62a0448
#OTHER by exept
comment/format in: #openDocumentation

diff -r f7777887c17c -r 4f210d7fe0cb TabListEditor.st
--- 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'!