TERMINAL / SETTINGS

Terminal preferences.