General Information on the Expecco User interface
Personal Settings[Bearbeiten]
Many aspects of the UI can be adjusted to your personal style via the settings dialog ("Extras" - "Settings"). Setting parameters are stored in a file in your home folder "~/.expecco/.expeccoPreferences", where "~" stands for your home folder. The home folder is typically "/home/<yourName>" on Linux systems, "/Users/<yourName>" on macOS, and "c:\users\<yourName>\Documents" on MS-Windows systems.
The entry tab of the settings dialog shows the name of your settings file and provides a link to inspect its contents.
The settings file contains mostly UI-related parameters, but a few attributes which affect the execution are also stored there (for example, debugging flags, which control if a debugger should be opened in case of errors). It is possible to use different settings files by giving the "--settings" command line argument. To create a different settings file, use the "Save As..." menu item in the settings dialog.
