Resetting OMEdit to default options

[massimo 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 individual settings in any page of the Option dialog box (general, libraries, text editor, ...)
3. having in the documentation the an 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.