Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
12/19/12 11:16:51 (11 years ago)
Author:
abeham
Message:

#1985: Updated branch from trunk

Location:
branches/RuntimeOptimizer
Files:
3 edited

Legend:

Unmodified
Added
Removed

  • branches/RuntimeOptimizer

  • branches/RuntimeOptimizer/HeuristicLab.Problems.DataAnalysis.Symbolic.Views

  • branches/RuntimeOptimizer/HeuristicLab.Problems.DataAnalysis.Symbolic.Views/3.4/InteractiveSymbolicExpressionTreeChart.Designer.cs

    r8971 r9078  
    4747    /// </summary>
    4848    private void InitializeComponent() {
    49       this.DoubleBuffered = true;
    5049      this.insertNodeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    51       this.changeValueToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
     50      this.changeNodeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
     51      this.cutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
     52      this.removeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
     53      this.removeNodeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
     54      this.removeSubtreeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
     55      this.pasteToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
     56      this.toolStripSeparator = new System.Windows.Forms.ToolStripSeparator();
    5257      this.copyToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    53       this.copyNodeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    54       this.copySubtreeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    55       this.cutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    56       this.cutNodeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    57       this.cutSubtreeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    58       this.deleteToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    59       this.deleteNodeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    60       this.deleteSubtreeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    61       this.pasteToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    62       this.treeStatusLabel = new System.Windows.Forms.Label();
    63       this.treeStatusValue = new System.Windows.Forms.Label();
    6458      this.SuspendLayout();
    6559      //
    … …  
    6761      //
    6862      this.insertNodeToolStripMenuItem.Name = "insertNodeToolStripMenuItem";
    69       this.insertNodeToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
     63      this.insertNodeToolStripMenuItem.Size = new System.Drawing.Size(147, 22);
    7064      this.insertNodeToolStripMenuItem.Text = "Insert Node";
    7165      this.insertNodeToolStripMenuItem.Click += new System.EventHandler(this.insertNodeToolStripMenuItem_Click);
    7266      //
    73       // changeValueToolStripMenuItem
     67      // changeNodeToolStripMenuItem
    7468      //
    75       this.changeValueToolStripMenuItem.Name = "changeValueToolStripMenuItem";
    76       this.changeValueToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
    77       this.changeValueToolStripMenuItem.Text = "Change Value";
    78       this.changeValueToolStripMenuItem.Click += new System.EventHandler(this.changeValueToolStripMenuItem_Click);
    79       //
    80       // copyToolStripMenuItem
    81       //
    82       this.copyToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
    83             this.copyNodeToolStripMenuItem,
    84             this.copySubtreeToolStripMenuItem});
    85       this.copyToolStripMenuItem.Name = "copyToolStripMenuItem";
    86       this.copyToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
    87       this.copyToolStripMenuItem.Text = "Copy";
    88       //
    89       // copyNodeToolStripMenuItem
    90       //
    91       this.copyNodeToolStripMenuItem.Name = "copyNodeToolStripMenuItem";
    92       this.copyNodeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
    93       this.copyNodeToolStripMenuItem.Text = "Node";
    94       this.copyNodeToolStripMenuItem.Click += new System.EventHandler(this.copyNodeToolStripMenuItem_Click);
    95       //
    96       // copySubtreeToolStripMenuItem
    97       //
    98       this.copySubtreeToolStripMenuItem.Name = "copySubtreeToolStripMenuItem";
    99       this.copySubtreeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
    100       this.copySubtreeToolStripMenuItem.Text = "Subtree";
    101       this.copySubtreeToolStripMenuItem.Click += new System.EventHandler(this.copySubtreeToolStripMenuItem_Click);
     69      this.changeNodeToolStripMenuItem.Name = "changeNodeToolStripMenuItem";
     70      this.changeNodeToolStripMenuItem.Size = new System.Drawing.Size(147, 22);
     71      this.changeNodeToolStripMenuItem.Text = "Change Node";
     72      this.changeNodeToolStripMenuItem.Click += new System.EventHandler(this.changeNodeToolStripMenuItem_Click);
    10273      //
    10374      // cutToolStripMenuItem
    10475      //
    105       this.cutToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
    106             this.cutNodeToolStripMenuItem,
    107             this.cutSubtreeToolStripMenuItem});
    10876      this.cutToolStripMenuItem.Name = "cutToolStripMenuItem";
    109       this.cutToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
     77      this.cutToolStripMenuItem.Size = new System.Drawing.Size(147, 22);
    11078      this.cutToolStripMenuItem.Text = "Cut";
     79      this.cutToolStripMenuItem.Click += new System.EventHandler(this.cutToolStripMenuItem_Click);
    11180      //
    112       // cutNodeToolStripMenuItem
     81      // removeToolStripMenuItem
    11382      //
    114       this.cutNodeToolStripMenuItem.Name = "cutNodeToolStripMenuItem";
    115       this.cutNodeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
    116       this.cutNodeToolStripMenuItem.Text = "Node";
    117       this.cutNodeToolStripMenuItem.Click += new System.EventHandler(this.cutNodeToolStripMenuItem_Click);
     83      this.removeToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
     84            this.removeNodeToolStripMenuItem,
     85            this.removeSubtreeToolStripMenuItem});
     86      this.removeToolStripMenuItem.Name = "removeToolStripMenuItem";
     87      this.removeToolStripMenuItem.Size = new System.Drawing.Size(147, 22);
     88      this.removeToolStripMenuItem.Text = "Remove";
     89      this.removeToolStripMenuItem.Click += new System.EventHandler(this.removeSubtreeToolStripMenuItem_Click);
    11890      //
    119       // cutSubtreeToolStripMenuItem
     91      // removeNodeToolStripMenuItem
    12092      //
    121       this.cutSubtreeToolStripMenuItem.Name = "cutSubtreeToolStripMenuItem";
    122       this.cutSubtreeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
    123       this.cutSubtreeToolStripMenuItem.Text = "Subtree";
    124       this.cutSubtreeToolStripMenuItem.Click += new System.EventHandler(this.cutSubtreeToolStripMenuItem_Click);
     93      this.removeNodeToolStripMenuItem.Name = "removeNodeToolStripMenuItem";
     94      this.removeNodeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
     95      this.removeNodeToolStripMenuItem.Text = "Node";
     96      this.removeNodeToolStripMenuItem.Click += new System.EventHandler(this.removeNodeToolStripMenuItem_Click);
    12597      //
    126       // deleteToolStripMenuItem
     98      // removeSubtreeToolStripMenuItem
    12799      //
    128       this.deleteToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
    129             this.deleteNodeToolStripMenuItem,
    130             this.deleteSubtreeToolStripMenuItem});
    131       this.deleteToolStripMenuItem.Name = "deleteToolStripMenuItem";
    132       this.deleteToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
    133       this.deleteToolStripMenuItem.Text = "Delete";
    134       //
    135       // deleteNodeToolStripMenuItem
    136       //
    137       this.deleteNodeToolStripMenuItem.Name = "deleteNodeToolStripMenuItem";
    138       this.deleteNodeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
    139       this.deleteNodeToolStripMenuItem.Text = "Node";
    140       this.deleteNodeToolStripMenuItem.Click += new System.EventHandler(this.deleteNodeToolStripMenuItem_Click);
    141       //
    142       // deleteSubtreeToolStripMenuItem
    143       //
    144       this.deleteSubtreeToolStripMenuItem.Name = "deleteSubtreeToolStripMenuItem";
    145       this.deleteSubtreeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
    146       this.deleteSubtreeToolStripMenuItem.Text = "Subtree";
    147       this.deleteSubtreeToolStripMenuItem.Click += new System.EventHandler(this.deleteSubtreeToolStripMenuItem_Click);
     100      this.removeSubtreeToolStripMenuItem.Name = "removeSubtreeToolStripMenuItem";
     101      this.removeSubtreeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
     102      this.removeSubtreeToolStripMenuItem.Text = "Subtree";
     103      this.removeSubtreeToolStripMenuItem.Click += new System.EventHandler(this.removeSubtreeToolStripMenuItem_Click);
    148104      //
    149105      // pasteToolStripMenuItem
    150106      //
    151107      this.pasteToolStripMenuItem.Name = "pasteToolStripMenuItem";
    152       this.pasteToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
     108      this.pasteToolStripMenuItem.Size = new System.Drawing.Size(147, 22);
    153109      this.pasteToolStripMenuItem.Text = "Paste";
    154110      this.pasteToolStripMenuItem.Click += new System.EventHandler(this.pasteToolStripMenuItem_Clicked);
     111      //
     112      // toolStripSeparator
     113      //
     114      this.toolStripSeparator.Name = "toolStripSeparator";
     115      this.toolStripSeparator.Size = new System.Drawing.Size(149, 6);
     116      //
     117      // copyToolStripMenuItem
     118      //
     119      this.copyToolStripMenuItem.Name = "copyToolStripMenuItem";
     120      this.copyToolStripMenuItem.Size = new System.Drawing.Size(147, 22);
     121      this.copyToolStripMenuItem.Text = "Copy";
     122      this.copyToolStripMenuItem.Click += new System.EventHandler(this.copyToolStripMenuItem_Click);
    155123      //
    156124      // contextMenuStrip
    157125      //
    158126      this.contextMenuStrip.Opened += this.contextMenuStrip_Opened;
    159       this.contextMenuStrip.Items.AddRange(new ToolStripItem[] { insertNodeToolStripMenuItem,
    160                                                                  changeValueToolStripMenuItem,
     127      this.contextMenuStrip.Items.AddRange(new ToolStripItem[] { insertNodeToolStripMenuItem, 
     128                                                                 changeNodeToolStripMenuItem,
    161129                                                                 copyToolStripMenuItem,
    162130                                                                 cutToolStripMenuItem,
    163                                                                  deleteToolStripMenuItem,
     131                                                                 removeToolStripMenuItem,
    164132                                                                 pasteToolStripMenuItem });
    165       //
    166       // treeStatusLabel
    167       //
    168       this.treeStatusLabel.AutoSize = true;
    169       this.treeStatusLabel.BackColor = System.Drawing.Color.Transparent;
    170       this.treeStatusLabel.Location = new System.Drawing.Point(3, 0);
    171       this.treeStatusLabel.Name = "treeStatusLabel";
    172       this.treeStatusLabel.Size = new System.Drawing.Size(68, 13);
    173       this.treeStatusLabel.TabIndex = 0;
    174       this.treeStatusLabel.Text = "Tree Status: ";
    175       //
    176       // treeStatusValue
    177       //
    178       this.treeStatusValue.AutoSize = true;
    179       this.treeStatusValue.BackColor = System.Drawing.Color.Transparent;
    180       this.treeStatusValue.ForeColor = System.Drawing.Color.Green;
    181       this.treeStatusValue.Location = new System.Drawing.Point(77, 0);
    182       this.treeStatusValue.Name = "treeStatusValue";
    183       this.treeStatusValue.Size = new System.Drawing.Size(30, 13);
    184       this.treeStatusValue.TabIndex = 1;
    185       this.treeStatusValue.Text = "Valid";
    186133      //
    187134      // InteractiveSymbolicExpressionTreeChart
    … …  
    189136      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    190137      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    191       this.Controls.Add(this.treeStatusLabel);
    192       this.Controls.Add(this.treeStatusValue);
     138      this.DoubleBuffered = true;
    193139      this.Name = "InteractiveSymbolicExpressionTreeChart";
    194140      this.ResumeLayout(false);
    195       this.PerformLayout();
    196141
    197142    }
    198143
    199144    private ToolStripMenuItem insertNodeToolStripMenuItem;
    200     private ToolStripMenuItem changeValueToolStripMenuItem;
    201     private ToolStripMenuItem copyToolStripMenuItem;
    202     private ToolStripMenuItem copyNodeToolStripMenuItem;
    203     private ToolStripMenuItem copySubtreeToolStripMenuItem;
     145    private ToolStripMenuItem changeNodeToolStripMenuItem;
    204146    private ToolStripMenuItem cutToolStripMenuItem;
    205     private ToolStripMenuItem cutNodeToolStripMenuItem;
    206     private ToolStripMenuItem cutSubtreeToolStripMenuItem;
    207147    private ToolStripMenuItem pasteToolStripMenuItem;
    208     private ToolStripMenuItem deleteToolStripMenuItem;
    209     private ToolStripMenuItem deleteNodeToolStripMenuItem;
    210     private ToolStripMenuItem deleteSubtreeToolStripMenuItem;
     148    private ToolStripMenuItem removeToolStripMenuItem;
     149    private ToolStripMenuItem removeNodeToolStripMenuItem;
     150    private ToolStripMenuItem removeSubtreeToolStripMenuItem;
    211151
    212152    #endregion
    213     private Label treeStatusLabel;
    214     private Label treeStatusValue;
     153
     154    private ToolStripSeparator toolStripSeparator;
     155    private ToolStripMenuItem copyToolStripMenuItem;
    215156  }
    216157}
Note: See TracChangeset for help on using the changeset viewer.