Would it be possible to add an option to reset the plugin settings to their default values?
I'm thinking of two possible options:
Add an additional function like
joplin.settings.restoreDefaultSettings()to the API which can be called from a plugin command.
Add a button to the Plugins settings page for each installed plugin. I guess the App knows all registered settings for the plugins and also there default values.
I could implement it for the plugin myself. But I think it will be interesting for others too and could be added as a core functionality of the plugin system.