Closed whisperity closed 8 years ago
There should be a way for the configuration "module" to, essentially, forget every setting, most importantly the list of enabled and disabled checkers.
This should be hooked to the framework-given Restore defaults button.
Restore defaults
There should be a way for the configuration "module" to, essentially, forget every setting, most importantly the list of enabled and disabled checkers.
This should be hooked to the framework-given
Restore defaults
button.