# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1572583739 -3600
# Node ID 17b4f413d051775fb0988155bb1df9409f9f3cab
# Parent  fff73fd2a61a341eb1132cedd955c83e7890c4c9
#OTHER by exept
comment/format in: #openDocumentation

diff -r fff73fd2a61a -r 17b4f413d051 Tools__ViewTreeApplication.st
--- a/Tools__ViewTreeApplication.st	Fri Nov 01 05:48:42 2019 +0100
+++ b/Tools__ViewTreeApplication.st	Fri Nov 01 05:48:59 2019 +0100
@@ -2469,6 +2469,8 @@
 !
 
 openDocumentation
+    "Called when <F1> is pressed"
+
     HTMLDocumentView openFullOnDocumentationFile:'tools/misc/TOP.html#VIEWTREEINSPECTOR'
 !