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