Switch to view.settings() instead of direct user prefs access. Works thanks to settings.erase().
Merge dictionary settings (i.e. linter options) instead of doing a straight override