equal
deleted
inserted
replaced
3933 |
3933 |
3934 "Modified: / 28-01-2014 / 21:57:35 / cg" |
3934 "Modified: / 28-01-2014 / 21:57:35 / cg" |
3935 ! |
3935 ! |
3936 |
3936 |
3937 openDocumentation |
3937 openDocumentation |
|
3938 "open an HTML browser on the launcher section in the 'tools/TOP' document. |
|
3939 Called when <F1> is pressed" |
|
3940 |
3938 self openHTMLDocument:'tools/uipainter/DataSetBuilder.html'. |
3941 self openHTMLDocument:'tools/uipainter/DataSetBuilder.html'. |
3939 ! ! |
3942 ! ! |
3940 |
3943 |
3941 !DataSetBuilder methodsFor:'menu operations'! |
3944 !DataSetBuilder methodsFor:'menu operations'! |
3942 |
3945 |