# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1572583978 -3600
# Node ID 04c48e162a224a14c167c2d0f069d454f543f0d9
# Parent  a17f33e7c234a2fb75ad6924b6e48ebea47ef4b6
#OTHER by exept
comment/format in: #openDocumentation

diff -r a17f33e7c234 -r 04c48e162a22 DataSetBuilder.st
--- a/DataSetBuilder.st	Fri Nov 01 05:50:13 2019 +0100
+++ b/DataSetBuilder.st	Fri Nov 01 05:52:58 2019 +0100
@@ -3935,6 +3935,9 @@
 !
 
 openDocumentation
+    "open an HTML browser on the launcher section in the 'tools/TOP' document.
+     Called when <F1> is pressed"
+
    self openHTMLDocument:'tools/uipainter/DataSetBuilder.html'.
 ! !