Personal Settings/en: Unterschied zwischen den Versionen

Version vom 3. Mai 2018, 10:25 Uhr

All of your personal settings are stored in a settings file, which is loaded upon startup. By default, the file is stored in "~/.expecco/.expeccoSettings", where "~" (tilde) is your home folder on Unix/Linux/macOS systems, or the personal documents folder on Windows systems.

It is possible to use different settings by starting expecco with a "--settings <filename>" command line argument.

The settings dialog is opened via the "Extras"-"Settings" item in the main menu, and contains an index on the left, and individual settings editors as per selection on the right.

Notice that settings will only affect your current expecco session, unless saved via the "Save Settings" button.

The individual settings are further described in:

@@ Zeile 1: / Zeile 1: @@
 All of your personal settings are stored in a settings file, which is loaded upon startup.
-By default, the file is stored in "<code>~/.expecco/.expeccoSettings</code>", where "<code>~</code>" is your home folder on Unix/Linux/macOS systems, or the personal documents folder on Windows systems.
+By default, the file is stored in "<code>~/.expecco/.expeccoSettings</code>", where "<code>~</code>" (tilde) is your home folder on Unix/Linux/macOS systems, or the personal documents folder on Windows systems.
 It is possible to use different settings by starting expecco with a "''--settings <filename>''" [[Command_Line Options#Command_Line|command line argument]].

Personal Settings/en: Unterschied zwischen den Versionen

Version vom 3. Mai 2018, 10:25 Uhr

Navigationsmenü

Meine Werkzeuge

Namensräume

Varianten

Ansichten

Mehr

Suche

Navigation

Werkzeuge

Drucken/exportieren