General Preferences

General preferences cover the user interface and TXLF editor specific preferences.