Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
05/11/10 14:45:25 (14 years ago)
Author:
swagner
Message:

Implemented reviewers' comments (#893)

  • enhanced optimizer settings to customize appearance
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/sources/HeuristicLab.Optimizer/3.3/OptimizerMainForm.cs

    r3741 r3768  
    6969      ContentManager.Initialize(new PersistenceContentManager());
    7070
     71      WindowState = Properties.Settings.Default.ShowMaximized ? FormWindowState.Maximized : FormWindowState.Normal;
     72
    7173      clipboard = new Clipboard<IItem>();
    7274      clipboard.Dock = DockStyle.Left;
     75      clipboard.Collapsed = Properties.Settings.Default.CollapseClipboard;
    7376      if (Properties.Settings.Default.ShowClipboard) {
    7477        clipboard.Show();
     
    7881        operatorsSidebar.Dock = DockStyle.Left;
    7982        operatorsSidebar.Show();
     83        operatorsSidebar.Collapsed = Properties.Settings.Default.CollapseOperatorsSidebar;
    8084      }
    8185      if (Properties.Settings.Default.ShowStartPage) {
     
    9195          e.Cancel = true;
    9296      }
     97    }
     98    protected override void OnClosed(EventArgs e) {
     99      base.OnClosed(e);
     100      Properties.Settings.Default.ShowMaximized = WindowState == FormWindowState.Maximized;
     101      Properties.Settings.Default.CollapseClipboard = clipboard.Collapsed;
     102      OperatorsSidebar operatorsSidebar = MainFormManager.MainForm.Views.OfType<OperatorsSidebar>().FirstOrDefault();
     103      if (operatorsSidebar != null) Properties.Settings.Default.CollapseOperatorsSidebar = operatorsSidebar.Collapsed;
     104      Properties.Settings.Default.Save();
    93105    }
    94106
Note: See TracChangeset for help on using the changeset viewer.