--- 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'
!