コード例 #1
0
ファイル: preferences.cpp プロジェクト: Coffee--/wesnoth-old
base_manager::~base_manager()
{
	if (no_preferences_save) return;

	// Set the 'hidden' preferences.
	prefs["scroll_threshold"] = mouse_scroll_threshold();

	write_preferences();
}
コード例 #2
0
ファイル: preferences.cpp プロジェクト: oys0317/opensanguo
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();
}
コード例 #3
0
ファイル: preferences.cpp プロジェクト: doofus-01/wesnoth
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 (...) {}
}