SelectionBrowser.st
changeset 773 de5c99bd3078
parent 772 6cf444ab3cf5
child 1428 8243829fd6d3
--- a/SelectionBrowser.st	Thu Apr 09 21:16:17 1998 +0200
+++ b/SelectionBrowser.st	Fri Apr 10 19:21:21 1998 +0200
@@ -92,6 +92,14 @@
 
 ! !
 
+!SelectionBrowser methodsFor:'help'!
+
+openHTMLDocument: aHTMLFilename
+    "open a HTMLDocumentView on aHTMLFilename"
+
+    HTMLDocumentView openFullOnDocumentationFile: aHTMLFilename
+! !
+
 !SelectionBrowser methodsFor:'startup / release'!
 
 postBuildWith:aBuilder