Changeset 4084 for trunk/sources/HeuristicLab.MainForm.WindowsForms

Timestamp:

07/22/10 16:09:16 (14 years ago)

Author:

mkommend

Message:

added possibility to clear the cached views in the ViewHost (ticket #972)

File:

• trunk/sources/HeuristicLab.MainForm.WindowsForms/3.3/ViewHost.cs (modified) (4 diffs)

trunk/sources/HeuristicLab.MainForm.WindowsForms/3.3/ViewHost.cs

@@ -77 +77 @@
       }
     }
-
     private Control ActiveViewControl {
       get { return ActiveView as Control; }
@@ -103 +102 @@
         this.viewsLabel.Enabled = value;
         this.ResumeRepaint(true);
+      }
+    }
+
+    public void ClearCache() {
+      foreach (var cachedView in cachedViews) {
+        if (cachedView.Value != activeView) {
+          Control c = cachedView.Value as Control;
+          if (c != null) {
+            this.Controls.Remove(c);
+            c.Dispose();
+          }
+          cachedViews.Remove(cachedView.Key);
+        }
       }
     }
@@ -185 +197 @@
     }
 
+    private void RegisterActiveViewEvents() {
+      activeView.Changed += new EventHandler(activeView_Changed);
+      activeView.CaptionChanged += new EventHandler(activeView_CaptionChanged);
+    }
+    private void DeregisterActiveViewEvents() {
+      activeView.Changed -= new EventHandler(activeView_Changed);
+      activeView.CaptionChanged -= new EventHandler(activeView_CaptionChanged);
+    }
+    private void activeView_CaptionChanged(object sender, EventArgs e) {
+      this.ActiveViewChanged();
+    }
+    private void activeView_Changed(object sender, EventArgs e) {
+      this.ActiveViewChanged();
+    }
+    private void ActiveViewChanged() {
+      if (ActiveView != null) {
+        this.Caption = this.ActiveView.Caption;
+        this.Locked = this.ActiveView.Locked;
+      }
+    }
+
     protected override void OnSizeChanged(EventArgs e) {
       //mkommend: solution to resizing issues. taken from http://support.microsoft.com/kb/953934
@@ -194 +227 @@
       base.OnSizeChanged(e);
       this.viewsLabel.Location = new System.Drawing.Point(this.Width - this.viewsLabel.Margin.Right - this.viewsLabel.Width, this.viewsLabel.Margin.Top);
-    }
-
-    private void RegisterActiveViewEvents() {
-      activeView.Changed += new EventHandler(activeView_Changed);
-      activeView.CaptionChanged += new EventHandler(activeView_CaptionChanged);
-    }
-    private void DeregisterActiveViewEvents() {
-      activeView.Changed -= new EventHandler(activeView_Changed);
-      activeView.CaptionChanged -= new EventHandler(activeView_CaptionChanged);
-    }
-    private void activeView_CaptionChanged(object sender, EventArgs e) {
-      this.ActiveViewChanged();
-    }
-    private void activeView_Changed(object sender, EventArgs e) {
-      this.ActiveViewChanged();
-    }
-    private void ActiveViewChanged() {
-      if (ActiveView != null) {
-        this.Caption = this.ActiveView.Caption;
-        this.Locked = this.ActiveView.Locked;
-      }
     }