/// <summary> /// The user is closing the form; save application settings. /// </summary> /// <param name="sender">Unused.</param> /// <param name="e">Unused.</param> private void ClusterBrowser_FormClosing(object sender, FormClosingEventArgs e) { this.refreshTimer.Stop(); this.queue.Stop(); this.formSettings.Location = this.Location; this.formSettings.Size = this.Size; this.formSettings.MaximizeWindow = this.WindowState == FormWindowState.Maximized; this.formSettings.AutoRefresh = this.autoRefreshToolStripMenuItem.Checked; this.formSettings.KnownClusters = ClusterConfiguration.KnownClustersSerialization(); this.formSettings.Save(); }