public UpdateTimeOption()
{
InitializeComponent();
// Initialise singleton
Instance = this;
// Initialise time
time_choice.Text = RessourcesManager.Instance.TimeScale.ToString();
}
public UpdateTimeOption()
{
InitializeComponent();
// Initialise singleton
Instance = this;
// Initialise time
time_choice.Text = RessourcesManager.Instance.TimeScale.ToString();
}
/*
* Configuration box for ressources update time
*/
private void ressource_update_time_Click(object sender, RoutedEventArgs e)
{
if (UpdateTimeOption.Instance == null)
{
var timeOption = new UpdateTimeOption();
timeOption.Show();
}
else
{
UpdateTimeOption.Instance.Activate();
}
}
private void Window_Closed(object sender, EventArgs e)
{
Instance = null;
}
private void Window_Closed(object sender, EventArgs e)
{
Instance = null;
}