Placeholder for various terminal settings. Used to pass the options to the TerminalSettingsDialog.
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected