144059b062
Not complete, but it's a decent start. Some problems: * Only some otions are handled (backend-specific options in particular aren't handled). * Does not warn when quitting with unsaved changes. * Some options are missing tooltips.