--- a/TerminalApplication.st Fri Nov 01 05:49:32 2019 +0100
+++ b/TerminalApplication.st Fri Nov 01 05:49:47 2019 +0100
@@ -480,6 +480,7 @@
openDocumentation
"opens the documentation file"
+ "Called when <F1> is pressed"
self openHTMLDocument: 'tools/misc/TOP.html#TERMINAL'
!