Preferences
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]]