equal
deleted
inserted
replaced
1245 |
1245 |
1246 "Modified (format): / 24-05-2018 / 16:25:31 / Claus Gittinger" |
1246 "Modified (format): / 24-05-2018 / 16:25:31 / Claus Gittinger" |
1247 ! |
1247 ! |
1248 |
1248 |
1249 openDocumentation |
1249 openDocumentation |
1250 "opens the documentation file of the Help Tool |
1250 "opens the documentation file of the Help Tool" |
1251 " |
1251 "Called when <F1> is pressed" |
|
1252 |
1252 self openHTMLDocument: 'tools/uipainter/HelpTool.html' |
1253 self openHTMLDocument: 'tools/uipainter/HelpTool.html' |
1253 ! |
1254 ! |
1254 |
1255 |
1255 store:helpText forKey:helpKey |
1256 store:helpText forKey:helpKey |
1256 "store helpText under helpKey" |
1257 "store helpText under helpKey" |