home *** CD-ROM | disk | FTP | other *** search
- {{Edit Properties} {BrowserProcs::editProperties}}
- {{Show Properties} {BrowserProcs::showProperties}}
- {{Delete Properties} {BrowserProcs::removeProperties}}
- {{Show Info} {BrowserProcs::showInfo}}
- {{Freeze Objects} {BrowserProcs::freezeObjects}}
- {{Unfreeze Objects} {BrowserProcs::unfreezeObjects}}
- {{Edit Properties} {BrowserProcs::editProperties}}
- {{Clone Browser} {BrowserProcs::clone}}
- {{Print View} {[.main infoView] print}}
- {{Exit} {.main stop}}
- {{Refresh View} {.main updateView}}
- {{Change Editor} {[.main options] editor}}
- {{Change Font} {BrowserOptions::font}}
- {{Printer Setup} {[.main options] printerSetup}}
- {{Start Monitoring Window} {.main startExetool mtool}}
- {{Start Execution Window} {.main startExetool xtool}}
-