Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
12/06/12 13:52:01 (11 years ago)
Author:
bburlacu
Message:

#1763: Refactored the tree simplifier again: moved tree editing functionality into the view, fixed minor display bugs.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/sources/HeuristicLab.Problems.DataAnalysis.Symbolic.Views/3.4/InteractiveSymbolicExpressionTreeChart.Designer.cs

    r8991 r9006  
    5454      this.removeSubtreeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    5555      this.pasteToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    56       this.treeStatusLabel = new System.Windows.Forms.Label();
    57       this.treeStatusValue = new System.Windows.Forms.Label();
    5856      this.toolStripSeparator = new System.Windows.Forms.ToolStripSeparator();
    5957      this.copyToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
     
    6361      //
    6462      this.insertNodeToolStripMenuItem.Name = "insertNodeToolStripMenuItem";
    65       this.insertNodeToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
     63      this.insertNodeToolStripMenuItem.Size = new System.Drawing.Size(147, 22);
    6664      this.insertNodeToolStripMenuItem.Text = "Insert Node";
    6765      this.insertNodeToolStripMenuItem.Click += new System.EventHandler(this.insertNodeToolStripMenuItem_Click);
     
    6967      // changeNodeToolStripMenuItem
    7068      //
    71       this.changeNodeToolStripMenuItem.Name = "editNodeToolStripMenuItem";
    72       this.changeNodeToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
     69      this.changeNodeToolStripMenuItem.Name = "changeNodeToolStripMenuItem";
     70      this.changeNodeToolStripMenuItem.Size = new System.Drawing.Size(147, 22);
    7371      this.changeNodeToolStripMenuItem.Text = "Change Node";
    7472      this.changeNodeToolStripMenuItem.Click += new System.EventHandler(this.changeNodeToolStripMenuItem_Click);
    75       //
    76       // copyToolStripMenuItem
    77       //
    78       this.copyToolStripMenuItem.Name = "copyToolStripMenuItem";
    79       this.copyToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
    80       this.copyToolStripMenuItem.Text = "Copy";
    81       this.copyToolStripMenuItem.Click += new System.EventHandler(this.copyToolStripMenuItem_Click);
    8273      //
    8374      // cutToolStripMenuItem
    8475      //
    8576      this.cutToolStripMenuItem.Name = "cutToolStripMenuItem";
    86       this.cutToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
     77      this.cutToolStripMenuItem.Size = new System.Drawing.Size(147, 22);
    8778      this.cutToolStripMenuItem.Text = "Cut";
    8879      this.cutToolStripMenuItem.Click += new System.EventHandler(this.cutToolStripMenuItem_Click);
     
    9485            this.removeSubtreeToolStripMenuItem});
    9586      this.removeToolStripMenuItem.Name = "removeToolStripMenuItem";
    96       this.removeToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
     87      this.removeToolStripMenuItem.Size = new System.Drawing.Size(147, 22);
    9788      this.removeToolStripMenuItem.Text = "Remove";
    9889      this.removeToolStripMenuItem.Click += new System.EventHandler(this.removeSubtreeToolStripMenuItem_Click);
     
    10192      //
    10293      this.removeNodeToolStripMenuItem.Name = "removeNodeToolStripMenuItem";
    103       this.removeNodeToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
     94      this.removeNodeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
    10495      this.removeNodeToolStripMenuItem.Text = "Node";
    10596      this.removeNodeToolStripMenuItem.Click += new System.EventHandler(this.removeNodeToolStripMenuItem_Click);
     
    10899      //
    109100      this.removeSubtreeToolStripMenuItem.Name = "removeSubtreeToolStripMenuItem";
    110       this.removeSubtreeToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
     101      this.removeSubtreeToolStripMenuItem.Size = new System.Drawing.Size(114, 22);
    111102      this.removeSubtreeToolStripMenuItem.Text = "Subtree";
    112103      this.removeSubtreeToolStripMenuItem.Click += new System.EventHandler(this.removeSubtreeToolStripMenuItem_Click);
     
    115106      //
    116107      this.pasteToolStripMenuItem.Name = "pasteToolStripMenuItem";
    117       this.pasteToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
     108      this.pasteToolStripMenuItem.Size = new System.Drawing.Size(147, 22);
    118109      this.pasteToolStripMenuItem.Text = "Paste";
    119110      this.pasteToolStripMenuItem.Click += new System.EventHandler(this.pasteToolStripMenuItem_Clicked);
    120       //
    121       // contextMenuStrip
    122       //
    123       this.contextMenuStrip.Opened += this.contextMenuStrip_Opened;
    124       this.contextMenuStrip.Items.AddRange(new ToolStripItem[] { insertNodeToolStripMenuItem,
    125                                                                  changeNodeToolStripMenuItem,
    126                                                                  copyToolStripMenuItem,
    127                                                                  cutToolStripMenuItem,
    128                                                                  removeToolStripMenuItem,
    129                                                                  pasteToolStripMenuItem });
    130       //
    131       // treeStatusLabel
    132       //
    133       this.treeStatusLabel.AutoSize = true;
    134       this.treeStatusLabel.BackColor = System.Drawing.Color.Transparent;
    135       this.treeStatusLabel.Location = new System.Drawing.Point(3, 0);
    136       this.treeStatusLabel.Name = "treeStatusLabel";
    137       this.treeStatusLabel.Size = new System.Drawing.Size(68, 13);
    138       this.treeStatusLabel.TabIndex = 0;
    139       this.treeStatusLabel.Text = "Tree Status: ";
    140       //
    141       // treeStatusValue
    142       //
    143       this.treeStatusValue.AutoSize = true;
    144       this.treeStatusValue.BackColor = System.Drawing.Color.Transparent;
    145       this.treeStatusValue.ForeColor = System.Drawing.Color.Green;
    146       this.treeStatusValue.Location = new System.Drawing.Point(77, 0);
    147       this.treeStatusValue.Name = "treeStatusValue";
    148       this.treeStatusValue.Size = new System.Drawing.Size(30, 13);
    149       this.treeStatusValue.TabIndex = 1;
    150       this.treeStatusValue.Text = "Valid";
    151111      //
    152112      // toolStripSeparator
     
    155115      this.toolStripSeparator.Size = new System.Drawing.Size(149, 6);
    156116      //
     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);
     123      //
     124      // contextMenuStrip
     125      //
     126      this.contextMenuStrip.Opened += this.contextMenuStrip_Opened;
     127      this.contextMenuStrip.Items.AddRange(new ToolStripItem[] { insertNodeToolStripMenuItem,
     128                                                                 changeNodeToolStripMenuItem,
     129                                                                 copyToolStripMenuItem,
     130                                                                 cutToolStripMenuItem,
     131                                                                 removeToolStripMenuItem,
     132                                                                 pasteToolStripMenuItem });
     133      //
    157134      // InteractiveSymbolicExpressionTreeChart
    158135      //
    159136      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    160137      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    161       this.Controls.Add(this.treeStatusLabel);
    162       this.Controls.Add(this.treeStatusValue);
    163138      this.DoubleBuffered = true;
    164139      this.Name = "InteractiveSymbolicExpressionTreeChart";
    165       this.MouseClick += new System.Windows.Forms.MouseEventHandler(this.InteractiveSymbolicExpressionTreeChart_MouseClick);
    166140      this.ResumeLayout(false);
    167       this.PerformLayout();
    168141
    169142    }
     
    178151
    179152    #endregion
    180     private Label treeStatusLabel;
    181     private Label treeStatusValue;
     153
    182154    private ToolStripSeparator toolStripSeparator;
    183155    private ToolStripMenuItem copyToolStripMenuItem;
Note: See TracChangeset for help on using the changeset viewer.