2014-07-21 23:26:28 +04:00
|
|
|
|
namespace GARbro.GUI.Properties {
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// This class allows you to handle specific events on the settings class:
|
|
|
|
|
// The SettingChanging event is raised before a setting's value is changed.
|
|
|
|
|
// The PropertyChanged event is raised after a setting's value is changed.
|
|
|
|
|
// The SettingsLoaded event is raised after the setting values are loaded.
|
|
|
|
|
// The SettingsSaving event is raised before the setting values are saved.
|
|
|
|
|
internal sealed partial class Settings {
|
|
|
|
|
|
|
|
|
|
public Settings() {
|
|
|
|
|
// // To add event handlers for saving and changing settings, uncomment the lines below:
|
|
|
|
|
//
|
|
|
|
|
// this.SettingChanging += this.SettingChangingEventHandler;
|
|
|
|
|
//
|
|
|
|
|
// this.SettingsSaving += this.SettingsSavingEventHandler;
|
|
|
|
|
//
|
|
|
|
|
this.SettingsLoaded += OnSettingsLoadedHandler;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void OnSettingsLoadedHandler (object sender, System.Configuration.SettingsLoadedEventArgs e)
|
|
|
|
|
{
|
|
|
|
|
if (Settings.Default.UpgradeRequired)
|
|
|
|
|
{
|
|
|
|
|
Settings.Default.Upgrade();
|
|
|
|
|
Settings.Default.UpgradeRequired = false;
|
|
|
|
|
Settings.Default.Save();
|
|
|
|
|
}
|
2015-05-14 15:51:22 +04:00
|
|
|
|
|
|
|
|
|
// do not restore in minimized state
|
|
|
|
|
if (Settings.Default.winState == System.Windows.WindowState.Minimized)
|
|
|
|
|
Settings.Default.winState = System.Windows.WindowState.Normal;
|
2014-07-21 23:26:28 +04:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
private void SettingChangingEventHandler(object sender, System.Configuration.SettingChangingEventArgs e) {
|
|
|
|
|
// Add code to handle the SettingChangingEvent event here.
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
private void SettingsSavingEventHandler(object sender, System.ComponentModel.CancelEventArgs e) {
|
|
|
|
|
// Add code to handle the SettingsSaving event here.
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|