General Information on the Expecco User interface: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Ani (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „== Personal Settings == Many aspects of the UI can be adjusted to your personal style via the settings dialog ("''Extras''" - "''Settings''"). Setting paramet…“) |
Cg (Diskussion | Beiträge) (Weiterleitungsziel von General Information on the Expecco UI/en nach General Info on the Expecco UI/en geändert) Markierung: Weiterleitungsziel geändert |
||
| (11 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
#redirect [[General Info on the Expecco UI/en]] |
|||
== Personal Settings == |
|||
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 "<code>~/.expecco/.expeccoPreferences</code>", where "~" stands for your home folder. The home folder is typically "<code>/home/<yourName></code>" on Linux systems, "<code>/Users/<yourName></code>" on macOS, and "<code>c:\users\<yourName>\Documents</code>" 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 "<code>--settings</code>" [[Command_Line_Options#Startup|command line argument]]. To create a different settings file, use the "''Save As...''" menu item in the settings dialog. |
|||
Aktuelle Version vom 27. November 2020, 23:01 Uhr
Weiterleitung nach:
