Options Editor

This editor appears when you use the Edit User (Motif) or the Edit (Windows) command from the Options menu in the Main Window. It opens up the file containing the User options (under Motif usually ProMod.opt, under Windows usually promod.ini). This is the file that is written when you use the Save User (Motif) or Save (Windows) command from the Options menu or if you save the options when exiting ProMod-PLUS.

The design of the ProMod-PLUS Option Management System differs between the Motif and the Windows in order to reflect platform dependencies. A description of the Motif version of the Option Manager is given in  Option Manager (Motif),, a description of the Windows version is given in Option Manager (Windows). See the Start-up and Configuration Guide in the Workstation binder for full details.

Hint: If you want to use an external editor within ProMod-PLUS for working on the options, add lines similar to the following to your User options.

Motif: Replace vi by the external editor of your choice.

texteditor*ProMod-PLUS.useMask: 2048

texteditor*ProMod-PLUS.annoCommand: hpterm -xrm "*iconName: $o" -xrm "*.title: vi $t - $o" -e vi $f

Windows: Replace notepad by the external editor of your choice.

[texteditor ProMod-PLUS]

useMask=2048

annoCommand: notepad $f