Tool types and Shell parameters


Both TSMorph and TSMorph-render can be run from the Shell or the Workbench. Most parameters can be edited using the Settings menu.

Note: TSMorph and TSMorph-render both require a stack size of more than 4096. 8192 should be OK. If the stack is not set large enough then the programs will probably just crash.

Parameters can be supplied, normally either on the Shell command line, as Icon Tool Types on the Project, TSMorph or TSMorph-render Icon, or in a settings file.

The format of settings files is a text file with lines in the format:

Settingstype=settingsvalue

Blank lines or lines starting with a ; (semi-colon) are treated as comments. Any settings supplied on the Shell command line or as an Icon Tool Type override values specified in this file. Parameters on the Project Icon override parameters on the Tool Icon.

Note: All the Project Icon tool types are used if the project is run with a default tool or by double clicking a tool, some are not used if the project is selected using a file requester, if the Tool was run from the Shell then file requester selected project tool types are ignored. Also some settings can not be changed on open projects,

The Settings file name used is first file found from:

1) The name supplied in the SETTINGS= parameter on the project.
2) The name supplied in the SETTINGS= parameter on the tool.
3) TSMorph.prefs
   in the project directory for the workbench,
   the current directory from the Shell.
4) TSMorph.prefs
   in the directory TSMorph was loaded from.
5) ENV:TSMorph/TSMorph.prefs

Unless KEEPSETTINGS is set to NO current settings are saved in ENV:TSMorph/TSMorph.prefs when TSMorph is quit. Settings can be saved and loaded from the Settings menu.

  • TSMorph-prefs
  • TSMorph
  • TSMorph-render