`PreferenceManager.error` in `prefs.rs` is checked many times, but never actually updated. So either it should actually be updated somewhere, or we can just remove it, i think @NSoiffer
PreferenceManager.errorinprefs.rsis checked many times, but never actually updated.So either it should actually be updated somewhere, or we can just remove it, i think @NSoiffer