Resetting OMEdit to default options

[ceraolo]

It seems to me that there is no way to reset OMEdit to the default options, nor indeed to know, after some usage, what the default options really are.
I think that it would be useful to have some way to do this at least in one of the following ways:

1. resetting all the customisation with a single command (e.g. a "reset all options" button)
2. resetting settings on a page-per-page way, in the Option dialog box (as pages I mean general, libraries, text editor, ...)
3. having in the documentation a list of defaults for all the options (obviously automatically updated)

A "reset all options" button would for instance be useful to align all PC's of a classroom. This is especially important since settings are retained when OMEdit is updated (and this is nice), so changes accumulate over time.
A selective way of resetting individual pages could be useful to people to understand what is the intended basic behaviour of OMEdit.

In case there is not agreement on points 1. and/or 2 above, I think that at least point 3 requires attention.

[sjoelund.se]

Resetting OMEdit settings is as easy as removing the file ~/.config/openmodelica/omedit.ini (on Linux; the path depends on the OS preferred location for user settings).

[casella]

Yeah, but the GUI should do it :)

[johti17]

It is really new functionality. So I changed the description

[casella]

Fixed in ​PR 218.