Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
06/07/11 12:49:03 (13 years ago)
Author:
mkommend
Message:

#1479: Merged trunk changes into branch.

Location:
branches/GP.Grammar.Editor/HeuristicLab.MainForm.WindowsForms/3.3/Controls
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • branches/GP.Grammar.Editor/HeuristicLab.MainForm.WindowsForms/3.3/Controls/ViewHost.Designer.cs

    r5956 r6377  
    5151      this.viewContextMenuStrip = new HeuristicLab.MainForm.WindowsForms.ViewContextMenuStrip();
    5252      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
     53      this.configurationLabel = new System.Windows.Forms.Label();
    5354      this.SuspendLayout();
    5455      //
     
    8687      this.viewContextMenuStrip.ItemClicked += new System.Windows.Forms.ToolStripItemClickedEventHandler(this.viewContextMenuStrip_ItemClicked);
    8788      //
     89      // configurationLabel
     90      //
     91      this.configurationLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
     92      this.configurationLabel.Image = HeuristicLab.Common.Resources.VSImageLibrary.EditInformation;
     93      this.configurationLabel.Location = new System.Drawing.Point(211, 22);
     94      this.configurationLabel.Margin = new System.Windows.Forms.Padding(6, 3, 3, 3);
     95      this.configurationLabel.Name = "configurationLabel";
     96      this.configurationLabel.Size = new System.Drawing.Size(16, 16);
     97      this.configurationLabel.TabIndex = 0;
     98      this.configurationLabel.Visible = false;
     99      this.configurationLabel.MouseDoubleClick += new System.Windows.Forms.MouseEventHandler(this.configurationLabel_MouseDoubleClick);
     100      //
    88101      // ViewHost
    89102      //
     
    91104      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    92105      this.Controls.Add(this.viewsLabel);
     106      this.Controls.Add(this.configurationLabel);
    93107      this.Controls.Add(this.messageLabel);
    94108      this.Name = "ViewHost";
     
    103117    private System.Windows.Forms.ToolTip toolTip;
    104118    private HeuristicLab.MainForm.WindowsForms.ViewContextMenuStrip viewContextMenuStrip;
     119    private System.Windows.Forms.Label configurationLabel;
    105120
    106121  }
  • branches/GP.Grammar.Editor/HeuristicLab.MainForm.WindowsForms/3.3/Controls/ViewHost.cs

    r5956 r6377  
    101101            }
    102102          } else viewType = null;
     103          configurationLabel.Visible = activeView is IConfigureableView;
     104          configurationLabel.Enabled = activeView != null && !activeView.Locked;
    103105        }
    104106      }
     
    189191    private void activeView_LockedChanged(object sender, EventArgs e) {
    190192      Locked = activeView.Locked;
     193      configurationLabel.Enabled = !activeView.Locked;
    191194    }
    192195
     
    200203      base.OnSizeChanged(e);
    201204      viewsLabel.Location = new Point(Width - viewsLabel.Margin.Right - viewsLabel.Width, viewsLabel.Margin.Top);
     205      configurationLabel.Location = new Point(Width - configurationLabel.Margin.Right - configurationLabel.Width, viewsLabel.Bottom + viewsLabel.Margin.Bottom + configurationLabel.Margin.Top);
    202206    }
    203207
     
    287291        startDragAndDrop = false;
    288292    }
     293
     294    private void configurationLabel_MouseDoubleClick(object sender, MouseEventArgs e) {
     295      ((IConfigureableView)ActiveView).ShowConfiguration();
     296    }
    289297    #endregion
    290298  }
Note: See TracChangeset for help on using the changeset viewer.