Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
12/16/10 12:19:54 (13 years ago)
Author:
epitzer
Message:
  • fixed truncation of bold text in TreeView
  • changed "show actual value" initial caps
  • select node on right click
  • fixed margins
  • include actual name for parameters
  • remove unnecessary labels

(#47)

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/sources/HeuristicLab.DebugEngine/3.3/OperationContentView.Designer.cs

    r5114 r5116  
    5050      this.executionContextGroupBox = new System.Windows.Forms.GroupBox();
    5151      this.executionContextTreeView = new System.Windows.Forms.TreeView();
     52      this.executionContextConextMenu = new System.Windows.Forms.ContextMenuStrip(this.components);
     53      this.showValueToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    5254      this.executionContextImageList = new System.Windows.Forms.ImageList(this.components);
    5355      this.scopeGroupBox = new System.Windows.Forms.GroupBox();
    … …  
    5557      this.scopeImageList = new System.Windows.Forms.ImageList(this.components);
    5658      this.nameTextBox = new System.Windows.Forms.TextBox();
    57       this.contextLabel = new System.Windows.Forms.Label();
    58       this.atomicLabel = new System.Windows.Forms.Label();
    59       this.collectionLabel = new System.Windows.Forms.Label();
    6059      this.parametersImageList = new System.Windows.Forms.ImageList(this.components);
    61       this.executionContextConextMenu = new System.Windows.Forms.ContextMenuStrip(this.components);
    62       this.showValueToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    6360      this.groupBox.SuspendLayout();
    6461      this.splitContainer1.Panel1.SuspendLayout();
    … …  
    6663      this.splitContainer1.SuspendLayout();
    6764      this.executionContextGroupBox.SuspendLayout();
     65      this.executionContextConextMenu.SuspendLayout();
    6866      this.scopeGroupBox.SuspendLayout();
    69       this.executionContextConextMenu.SuspendLayout();
    7067      this.SuspendLayout();
    7168      //
    … …  
    7471      this.groupBox.Controls.Add(this.splitContainer1);
    7572      this.groupBox.Controls.Add(this.nameTextBox);
    76       this.groupBox.Controls.Add(this.contextLabel);
    77       this.groupBox.Controls.Add(this.atomicLabel);
    78       this.groupBox.Controls.Add(this.collectionLabel);
    7973      this.groupBox.Dock = System.Windows.Forms.DockStyle.Fill;
    8074      this.groupBox.Location = new System.Drawing.Point(0, 0);
    … …  
    117111      // executionContextTreeView
    118112      //
     113      this.executionContextTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     114            | System.Windows.Forms.AnchorStyles.Left)
     115            | System.Windows.Forms.AnchorStyles.Right)));
    119116      this.executionContextTreeView.ContextMenuStrip = this.executionContextConextMenu;
    120       this.executionContextTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
    121117      this.executionContextTreeView.ImageIndex = 0;
    122118      this.executionContextTreeView.ImageList = this.executionContextImageList;
    123       this.executionContextTreeView.Location = new System.Drawing.Point(3, 16);
     119      this.executionContextTreeView.Location = new System.Drawing.Point(6, 19);
    124120      this.executionContextTreeView.Name = "executionContextTreeView";
    125121      this.executionContextTreeView.SelectedImageIndex = 0;
    126122      this.executionContextTreeView.ShowNodeToolTips = true;
    127       this.executionContextTreeView.Size = new System.Drawing.Size(236, 342);
     123      this.executionContextTreeView.Size = new System.Drawing.Size(230, 336);
    128124      this.executionContextTreeView.TabIndex = 0;
    129125      this.executionContextTreeView.NodeMouseClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseClick);
    130126      this.executionContextTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseDoubleClick);
     127      this.executionContextTreeView.MouseDown += new System.Windows.Forms.MouseEventHandler(this.executionContextTreeView_MouseDown);
     128      //
     129      // executionContextConextMenu
     130      //
     131      this.executionContextConextMenu.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
     132            this.showValueToolStripMenuItem});
     133      this.executionContextConextMenu.Name = "executionContextConextMenu";
     134      this.executionContextConextMenu.Size = new System.Drawing.Size(173, 26);
     135      this.executionContextConextMenu.Opening += new System.ComponentModel.CancelEventHandler(this.executionContextConextMenu_Opening);
     136      //
     137      // showValueToolStripMenuItem
     138      //
     139      this.showValueToolStripMenuItem.Name = "showValueToolStripMenuItem";
     140      this.showValueToolStripMenuItem.Size = new System.Drawing.Size(172, 22);
     141      this.showValueToolStripMenuItem.Text = "Show Actual Value";
     142      this.showValueToolStripMenuItem.ToolTipText = "Try to obtain the parameter\'s actual value in the current execution context and o" +
     143    "pen it in a new view.";
     144      this.showValueToolStripMenuItem.Click += new System.EventHandler(this.ShowValue_Click);
    131145      //
    132146      // executionContextImageList
    … …  
    149163      // scopeTreeView
    150164      //
    151       this.scopeTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
     165      this.scopeTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     166            | System.Windows.Forms.AnchorStyles.Left)
     167            | System.Windows.Forms.AnchorStyles.Right)));
    152168      this.scopeTreeView.ImageIndex = 0;
    153169      this.scopeTreeView.ImageList = this.scopeImageList;
    154       this.scopeTreeView.Location = new System.Drawing.Point(3, 16);
     170      this.scopeTreeView.Location = new System.Drawing.Point(6, 19);
    155171      this.scopeTreeView.Name = "scopeTreeView";
    156172      this.scopeTreeView.SelectedImageIndex = 0;
    157173      this.scopeTreeView.ShowNodeToolTips = true;
    158       this.scopeTreeView.Size = new System.Drawing.Size(299, 342);
     174      this.scopeTreeView.Size = new System.Drawing.Size(293, 336);
    159175      this.scopeTreeView.TabIndex = 0;
    160176      this.scopeTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.scopeTreeView_NodeMouseDoubleClick);
    … …  
    174190      this.nameTextBox.Name = "nameTextBox";
    175191      this.nameTextBox.ReadOnly = true;
    176       this.nameTextBox.Size = new System.Drawing.Size(395, 20);
     192      this.nameTextBox.Size = new System.Drawing.Size(551, 20);
    177193      this.nameTextBox.TabIndex = 3;
    178194      this.nameTextBox.DoubleClick += new System.EventHandler(this.nameTextBox_DoubleClick);
    179       //
    180       // contextLabel
    181       //
    182       this.contextLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
    183       this.contextLabel.AutoSize = true;
    184       this.contextLabel.ForeColor = System.Drawing.SystemColors.ControlDark;
    185       this.contextLabel.Location = new System.Drawing.Point(407, 22);
    186       this.contextLabel.Name = "contextLabel";
    187       this.contextLabel.Size = new System.Drawing.Size(43, 13);
    188       this.contextLabel.TabIndex = 2;
    189       this.contextLabel.Text = "Context";
    190       //
    191       // atomicLabel
    192       //
    193       this.atomicLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
    194       this.atomicLabel.AutoSize = true;
    195       this.atomicLabel.ForeColor = System.Drawing.SystemColors.ControlDark;
    196       this.atomicLabel.Location = new System.Drawing.Point(456, 22);
    197       this.atomicLabel.Name = "atomicLabel";
    198       this.atomicLabel.Size = new System.Drawing.Size(39, 13);
    199       this.atomicLabel.TabIndex = 1;
    200       this.atomicLabel.Text = "Atomic";
    201       //
    202       // collectionLabel
    203       //
    204       this.collectionLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
    205       this.collectionLabel.AutoSize = true;
    206       this.collectionLabel.ForeColor = System.Drawing.SystemColors.ControlDark;
    207       this.collectionLabel.Location = new System.Drawing.Point(501, 22);
    208       this.collectionLabel.Name = "collectionLabel";
    209       this.collectionLabel.Size = new System.Drawing.Size(53, 13);
    210       this.collectionLabel.TabIndex = 0;
    211       this.collectionLabel.Text = "Collection";
    212195      //
    213196      // parametersImageList
    … …  
    216199      this.parametersImageList.ImageSize = new System.Drawing.Size(16, 16);
    217200      this.parametersImageList.TransparentColor = System.Drawing.Color.Transparent;
    218       //
    219       // executionContextConextMenu
    220       //
    221       this.executionContextConextMenu.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
    222             this.showValueToolStripMenuItem});
    223       this.executionContextConextMenu.Name = "executionContextConextMenu";
    224       this.executionContextConextMenu.Size = new System.Drawing.Size(169, 48);
    225       this.executionContextConextMenu.Opening += new System.ComponentModel.CancelEventHandler(this.executionContextConextMenu_Opening);
    226       //
    227       // showValueToolStripMenuItem
    228       //
    229       this.showValueToolStripMenuItem.Name = "showValueToolStripMenuItem";
    230       this.showValueToolStripMenuItem.Size = new System.Drawing.Size(168, 22);
    231       this.showValueToolStripMenuItem.Text = "show actual value";
    232       this.showValueToolStripMenuItem.ToolTipText = "Try to obtain the parameter\'s actual value in the current execution context and o" +
    233     "pen it in a new view.";
    234       this.showValueToolStripMenuItem.Click += new System.EventHandler(this.ShowValue_Click);
    235201      //
    236202      // OperationContentView
    … …  
    247213      this.splitContainer1.ResumeLayout(false);
    248214      this.executionContextGroupBox.ResumeLayout(false);
     215      this.executionContextConextMenu.ResumeLayout(false);
    249216      this.scopeGroupBox.ResumeLayout(false);
    250       this.executionContextConextMenu.ResumeLayout(false);
    251217      this.ResumeLayout(false);
    252218
    … …  
    257223    private System.Windows.Forms.GroupBox groupBox;
    258224    private System.Windows.Forms.TextBox nameTextBox;
    259     private System.Windows.Forms.Label contextLabel;
    260     private System.Windows.Forms.Label atomicLabel;
    261     private System.Windows.Forms.Label collectionLabel;
    262225    private System.Windows.Forms.SplitContainer splitContainer1;
    263226    private System.Windows.Forms.TreeView scopeTreeView;
Note: See TracChangeset for help on using the changeset viewer.