base_manager::~base_manager() { if (no_preferences_save) return; // Set the 'hidden' preferences. prefs["scroll_threshold"] = mouse_scroll_threshold(); write_preferences(); }
base_manager::~base_manager() { if (no_preferences_save) return; // Set the 'hidden' preferences. prefs["scroll_threshold"] = lexical_cast<std::string>(mouse_scroll_threshold()); write_preferences(); }
base_manager::~base_manager() { event_handler_.leave_global(); try { if (no_preferences_save) return; // Set the 'hidden' preferences. prefs["scroll_threshold"] = mouse_scroll_threshold(); write_preferences(); } catch (...) {} }