General Preferences
General preferences cover the user interface and TXLF editor specific preferences.
Colors
General
Fonts
Icons
Layout
Segment
Shortcuts
Warnings
Tags
Auto-Propagation
Auto-Suggestion
Spellchecker
Machine Translation
Parent topic:
Preferences