The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Generic editor settings
Editor settings
|
- Show whitespace
- All
- All except spaces
- All trailing
- All except non-trailing spaces
- Smart Home/End cursor positioning
- If set, go to the beginning/end of the line even if the line is wrapped.
- Smart auto indenting
- explanation…
- Show the automatic completion pop-up window
- Immediately
- Delayed
|
Initial documents settings
Initial documents settings
HTML
HTML
Files
Files
Templates
see Templates
User interface
User interface
Dimensions
Dimensions
Images
Images
External commands, filters and output parsers
see External programs, filters
Plugins
enable/disable 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]]