equal
deleted
inserted
replaced
|
1 "{ Encoding: utf8 }" |
|
2 |
1 " |
3 " |
2 COPYRIGHT (c) 2001 by eXept Software AG |
4 COPYRIGHT (c) 2001 by eXept Software AG |
3 All Rights Reserved |
5 All Rights Reserved |
4 |
6 |
5 This software is furnished under a license and may be used |
7 This software is furnished under a license and may be used |
3155 self class openSystemWorkspace |
3157 self class openSystemWorkspace |
3156 ! |
3158 ! |
3157 |
3159 |
3158 openDocumentation |
3160 openDocumentation |
3159 "opens the documentation file" |
3161 "opens the documentation file" |
|
3162 "Called when <F1> is pressed" |
3160 |
3163 |
3161 self openHTMLDocument: 'tools/misc/TOP.html#WORKSPACE' |
3164 self openHTMLDocument: 'tools/misc/TOP.html#WORKSPACE' |
3162 ! |
3165 ! |
3163 |
3166 |
3164 openEditingDocumentation |
3167 openEditingDocumentation |