Preferences
Generic editor settings
|
Initial documents settings
HTML
Files
Templates
see Templates
User interface
Dimensions
Images
External commands, filters and output parsers
see External programs, filters
Plugins
Styles and languages
note for editor: this as to be move to a new page, replacing Man 2 ch08s12 and Man 2 ch05s11 [[ File:Man2 preferences styles.png]]