Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.MainForm/3.2/DockingMainForm.cs @ 2266

Last change on this file since 2266 was 2266, checked in by mkommend, 15 years ago

added ability to cancel form close;
removed mistakenly commited csproj.user file (ticket #716)
File size: 7.2 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2008 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
4 *
5 * This file is part of HeuristicLab.
6 *
7 * HeuristicLab is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11 *
12 * HeuristicLab is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
19 */
20#endregion
21
22using System;
23using System.Collections.Generic;
24using System.ComponentModel;
25using System.Data;
26using System.Drawing;
27using System.Linq;
28using System.Text;
29using System.Windows.Forms;
30using WeifenLuo.WinFormsUI.Docking;
31
32namespace HeuristicLab.MainForm {
33  public partial class DockingMainForm : MainFormBase {
34    public DockingMainForm(Type userInterfaceItemType)
35      : base(userInterfaceItemType) {
36      InitializeComponent();
37      dockPanel = new DockPanel();
38      InitializeDockPanel();
39      this.IsMdiContainer = true;
40      this.Controls.Add(dockPanel);
41      this.Controls.SetChildIndex(dockPanel, 0);
42    }
43
44    private DockPanel dockPanel;
45
46    public override void ShowView(IView view) {     
47      if (InvokeRequired) Invoke((Action<IView>)ShowView, view);
48      else {
49        base.ShowView(view);
50        DockContent dockForm = new DockForm(view);
51        dockForm.Activated += new EventHandler(DockFormActivated);
52        dockForm.FormClosing += new FormClosingEventHandler(view.FormClosing);
53        dockForm.FormClosed += new FormClosedEventHandler(DockFormClosed);
54        foreach (IToolStripItem item in ViewChangedToolStripItems)
55          view.StateChanged += new EventHandler(item.ViewChanged);
56        dockForm.Show(dockPanel);
57      }
58    }
59
60    private void DockFormClosed(object sender, FormClosedEventArgs e) {
61      DockForm dockForm = (DockForm)sender;
62      views.Remove(dockForm.View);
63      if (views.Count == 0)
64        ActiveView = null;
65      dockForm.Activated -= new EventHandler(DockFormActivated);
66      dockForm.FormClosing -= new FormClosingEventHandler(dockForm.View.FormClosing);
67      dockForm.FormClosed -= new FormClosedEventHandler(DockFormClosed);
68      foreach (IToolStripItem item in ViewChangedToolStripItems)
69        dockForm.View.StateChanged -= new EventHandler(item.ViewChanged);
70    }
71
72    private void DockFormActivated(object sender, EventArgs e) {
73      base.ActiveView = ((DockForm)sender).View;
74      base.StatusStripText = ((DockForm)sender).View.Caption;
75    }
76
77    private void InitializeDockPanel() {
78      DockPanelSkin dockPanelSkin1 = new DockPanelSkin();
79      AutoHideStripSkin autoHideStripSkin1 = new AutoHideStripSkin();
80      DockPanelGradient dockPanelGradient1 = new DockPanelGradient();
81      TabGradient tabGradient1 = new TabGradient();
82      DockPaneStripSkin dockPaneStripSkin1 = new DockPaneStripSkin();
83      DockPaneStripGradient dockPaneStripGradient1 = new DockPaneStripGradient();
84      TabGradient tabGradient2 = new TabGradient();
85      DockPanelGradient dockPanelGradient2 = new DockPanelGradient();
86      TabGradient tabGradient3 = new TabGradient();
87      DockPaneStripToolWindowGradient dockPaneStripToolWindowGradient1 = new DockPaneStripToolWindowGradient();
88      TabGradient tabGradient4 = new TabGradient();
89      TabGradient tabGradient5 = new TabGradient();
90      DockPanelGradient dockPanelGradient3 = new DockPanelGradient();
91      TabGradient tabGradient6 = new TabGradient();
92      TabGradient tabGradient7 = new TabGradient();
93
94      this.dockPanel.ActiveAutoHideContent = null;
95      this.dockPanel.Dock = System.Windows.Forms.DockStyle.Fill;
96      this.dockPanel.DockBackColor = SystemColors.Control;
97      this.dockPanel.DockBottomPortion = 0.33;
98      this.dockPanel.DockLeftPortion = 0.33;
99      this.dockPanel.DockRightPortion = 0.33;
100      this.dockPanel.DockTopPortion = 0.33;
101      this.dockPanel.Location = new Point(0, 49);
102      this.dockPanel.Name = "dockPanel";
103      this.dockPanel.RightToLeftLayout = true;
104      dockPanelGradient1.EndColor = SystemColors.ControlLight;
105      dockPanelGradient1.StartColor = SystemColors.ControlLight;
106      autoHideStripSkin1.DockStripGradient = dockPanelGradient1;
107      tabGradient1.EndColor = SystemColors.Control;
108      tabGradient1.StartColor = SystemColors.Control;
109      tabGradient1.TextColor = SystemColors.ControlDarkDark;
110      autoHideStripSkin1.TabGradient = tabGradient1;
111      dockPanelSkin1.AutoHideStripSkin = autoHideStripSkin1;
112      tabGradient2.EndColor = SystemColors.ControlLightLight;
113      tabGradient2.StartColor = SystemColors.ControlLightLight;
114      tabGradient2.TextColor = SystemColors.ControlText;
115      dockPaneStripGradient1.ActiveTabGradient = tabGradient2;
116      dockPanelGradient2.EndColor = SystemColors.Control;
117      dockPanelGradient2.StartColor = SystemColors.Control;
118      dockPaneStripGradient1.DockStripGradient = dockPanelGradient2;
119      tabGradient3.EndColor = SystemColors.ControlLight;
120      tabGradient3.StartColor = SystemColors.ControlLight;
121      tabGradient3.TextColor = SystemColors.ControlText;
122      dockPaneStripGradient1.InactiveTabGradient = tabGradient3;
123      dockPaneStripSkin1.DocumentGradient = dockPaneStripGradient1;
124      tabGradient4.EndColor = SystemColors.ActiveCaption;
125      tabGradient4.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical;
126      tabGradient4.StartColor = SystemColors.GradientActiveCaption;
127      tabGradient4.TextColor = SystemColors.ActiveCaptionText;
128      dockPaneStripToolWindowGradient1.ActiveCaptionGradient = tabGradient4;
129      tabGradient5.EndColor = SystemColors.Control;
130      tabGradient5.StartColor = SystemColors.Control;
131      tabGradient5.TextColor = SystemColors.ControlText;
132      dockPaneStripToolWindowGradient1.ActiveTabGradient = tabGradient5;
133      dockPanelGradient3.EndColor = SystemColors.ControlLight;
134      dockPanelGradient3.StartColor = SystemColors.ControlLight;
135      dockPaneStripToolWindowGradient1.DockStripGradient = dockPanelGradient3;
136      tabGradient6.EndColor = SystemColors.GradientInactiveCaption;
137      tabGradient6.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical;
138      tabGradient6.StartColor = SystemColors.GradientInactiveCaption;
139      tabGradient6.TextColor = SystemColors.ControlText;
140      dockPaneStripToolWindowGradient1.InactiveCaptionGradient = tabGradient6;
141      tabGradient7.EndColor = Color.Transparent;
142      tabGradient7.StartColor = Color.Transparent;
143      tabGradient7.TextColor = SystemColors.ControlDarkDark;
144      dockPaneStripToolWindowGradient1.InactiveTabGradient = tabGradient7;
145      dockPaneStripSkin1.ToolWindowGradient = dockPaneStripToolWindowGradient1;
146      dockPanelSkin1.DockPaneStripSkin = dockPaneStripSkin1;
147      this.dockPanel.Skin = dockPanelSkin1;
148      this.dockPanel.TabIndex = 2;
149    }
150  }
151}
Note: See TracBrowser for help on using the repository browser.