dexed/docs/widgets_options_editor.md

1.1 KiB

Options editor

The Options editor is a special, non-dockable, widget that allows the other widgets to expose their options. The list at the left displays the categories. A category often matches to a single widget but not only (for example the shortcuts).

The options are applied in real time but are reversible until the green checker icon is clicked.

  • : validates the modifications made to the current category, after what they can't be canceled anymore.
  • : cancels and restores the previous state of the current category.

The options are persistent and saved in a distinct folder:

  • Linux: /home/<your account>/.config/Coedit/.
  • Windows: ?:\Users\<your account>\AppData\Roaming\Coedit\.

Each widget and software component save their own files with a self-explanatory name so it's easy to find and modify the file that matches a particular setting.