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