Changeset 5012

Timestamp:

12/02/10 23:12:17 (14 years ago)

Author:

mkommend

Message:

Added possibility to hide the ViewHost icon (ticket #1312).

File:

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

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

@@ -40 +40 @@
       messageLabel.Visible = false;
       viewsLabel.Visible = false;
+      viewsLabelVisible = true;
+    }
+
+    private bool viewsLabelVisible;
+    public bool ViewsLabelVisible {
+      get { return viewsLabelVisible; }
+      set {
+        if (viewsLabelVisible != value) {
+          viewsLabelVisible = value;
+          viewsLabel.Visible = value;
+          View view = activeView as View;
+          if (view != null) view.Dock = viewsLabelVisible ? DockStyle.None : DockStyle.Fill;
+        }
+      }
     }
 
@@ -81 +95 @@
               view.Anchor = AnchorStyles.Bottom | AnchorStyles.Left | AnchorStyles.Top | AnchorStyles.Right;
               view.Size = new Size(Width - this.viewsLabel.Width - this.viewsLabel.Margin.Left - this.viewsLabel.Margin.Right, this.Height);
+              view.Dock = viewsLabelVisible ? DockStyle.None : DockStyle.Fill;
               view.OnShown(new ViewShownEventArgs(view, false));
               if (!Controls.Contains((view))) Controls.Add(view);
@@ -133 +148 @@
       if (Content != null && viewContextMenuStrip.Items.Count > 0) {
         messageLabel.Visible = false;
-        viewsLabel.Visible = true;
+        viewsLabel.Visible = viewsLabelVisible;
       } else if (Content != null) {
         messageLabel.Visible = true;