Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
07/07/14 14:42:44 (10 years ago)
Author:
bburlacu
Message:

#1763: Improved alignment of node edit dialogs. Removed GroupSymbols from the list of available symbols when inserting new nodes. Added additional condition disallowing paste operations when it exceeds a symbols max arity. Moved tree status indicator to lower left and changed visibility to appear only when the tree is invalid.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/sources/HeuristicLab.Problems.DataAnalysis.Symbolic.Views/3.4/InteractiveSymbolicDataAnalysisSolutionSimplifierView.Designer.cs

    r11086 r11111  
    4747    private void InitializeComponent() {
    4848      this.components = new System.ComponentModel.Container();
     49      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(InteractiveSymbolicDataAnalysisSolutionSimplifierView));
    4950      this.viewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
    5051      this.splitContainer = new System.Windows.Forms.SplitContainer();
    … …  
    5253      this.treeStatusValue = new System.Windows.Forms.Label();
    5354      this.flowLayoutPanel = new System.Windows.Forms.FlowLayoutPanel();
     55      this.btnSimplify = new System.Windows.Forms.Button();
    5456      this.btnOptimizeConstants = new System.Windows.Forms.Button();
    55       this.btnSimplify = new System.Windows.Forms.Button();
    56       this.treeStatusLabel = new System.Windows.Forms.Label();
     57      this.grpViewHost = new System.Windows.Forms.GroupBox();
    5758      this.treeChart = new HeuristicLab.Problems.DataAnalysis.Symbolic.Views.InteractiveSymbolicExpressionTreeChart();
    58       this.grpViewHost = new System.Windows.Forms.GroupBox();
    5959      ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).BeginInit();
    6060      this.splitContainer.Panel1.SuspendLayout();
    … …  
    6868      // viewHost
    6969      //
    70       this.viewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    71             | System.Windows.Forms.AnchorStyles.Left)
     70      this.viewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
     71            | System.Windows.Forms.AnchorStyles.Left) 
    7272            | System.Windows.Forms.AnchorStyles.Right)));
    7373      this.viewHost.Caption = "View";
    … …  
    104104      this.grpSimplify.Controls.Add(this.treeStatusValue);
    105105      this.grpSimplify.Controls.Add(this.flowLayoutPanel);
    106       this.grpSimplify.Controls.Add(this.treeStatusLabel);
    107106      this.grpSimplify.Controls.Add(this.treeChart);
    108107      this.grpSimplify.Dock = System.Windows.Forms.DockStyle.Fill;
    … …  
    116115      // treeStatusValue
    117116      //
     117      this.treeStatusValue.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
    118118      this.treeStatusValue.AutoSize = true;
    119       this.treeStatusValue.BackColor = System.Drawing.Color.Transparent;
    120       this.treeStatusValue.ForeColor = System.Drawing.Color.Green;
    121       this.treeStatusValue.Location = new System.Drawing.Point(72, 16);
     119      this.treeStatusValue.BackColor = System.Drawing.Color.White;
     120      this.treeStatusValue.ForeColor = System.Drawing.Color.Red;
     121      this.treeStatusValue.Location = new System.Drawing.Point(6, 351);
    122122      this.treeStatusValue.Name = "treeStatusValue";
    123       this.treeStatusValue.Size = new System.Drawing.Size(30, 13);
     123      this.treeStatusValue.Size = new System.Drawing.Size(63, 13);
    124124      this.treeStatusValue.TabIndex = 3;
    125       this.treeStatusValue.Text = "Valid";
     125      this.treeStatusValue.Text = "Invalid Tree";
     126      this.treeStatusValue.Visible = false;
    126127      //
    127128      // flowLayoutPanel
    128129      //
    129       this.flowLayoutPanel.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)
     130      this.flowLayoutPanel.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left) 
    130131            | System.Windows.Forms.AnchorStyles.Right)));
    131132      this.flowLayoutPanel.Controls.Add(this.btnSimplify);
    … …  
    137138      this.flowLayoutPanel.WrapContents = false;
    138139      //
    139       // btnOptimizeConstants
    140       //       
    141       this.btnOptimizeConstants.AutoSize = true;
    142       this.btnOptimizeConstants.Enabled = false;
    143       this.btnOptimizeConstants.Image = HeuristicLab.Common.Resources.VSImageLibrary.Performance;
    144       this.btnOptimizeConstants.ImageAlign = System.Drawing.ContentAlignment.MiddleCenter;
    145       this.btnOptimizeConstants.Location = new System.Drawing.Point(105, 3);
    146       this.btnOptimizeConstants.Name = "btnOptimizeConstants";
    147       this.btnOptimizeConstants.Size = new System.Drawing.Size(80, 24);
    148       this.btnOptimizeConstants.TabIndex = 2;
    149       this.btnOptimizeConstants.Text = "Optimize";
    150       this.btnOptimizeConstants.TextAlign = System.Drawing.ContentAlignment.MiddleCenter;
    151       this.btnOptimizeConstants.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText;
    152       this.btnOptimizeConstants.UseVisualStyleBackColor = true;
    153       this.btnOptimizeConstants.Click += new System.EventHandler(this.btnOptimizeConstants_Click);
    154       //
    155140      // btnSimplify
    156141      //
    157142      this.btnSimplify.AutoSize = true;
    158       this.btnSimplify.Enabled = true;
    159       this.btnSimplify.Image = HeuristicLab.Common.Resources.VSImageLibrary.FormulaEvaluator;
    160       this.btnSimplify.ImageAlign = System.Drawing.ContentAlignment.MiddleCenter;
     143      this.btnSimplify.Image = ((System.Drawing.Image)(resources.GetObject("btnSimplify.Image")));
    161144      this.btnSimplify.Location = new System.Drawing.Point(3, 3);
    162145      this.btnSimplify.Name = "btnSimplify";
    … …  
    164147      this.btnSimplify.TabIndex = 1;
    165148      this.btnSimplify.Text = "Simplify";
    166       this.btnSimplify.TextAlign = System.Drawing.ContentAlignment.MiddleCenter;
    167149      this.btnSimplify.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText;
    168150      this.btnSimplify.UseVisualStyleBackColor = true;
    169151      this.btnSimplify.Click += new System.EventHandler(this.btnSimplify_Click);
    170152      //
    171       // treeStatusLabel
    172       //
    173       this.treeStatusLabel.AutoSize = true;
    174       this.treeStatusLabel.BackColor = System.Drawing.Color.Transparent;
    175       this.treeStatusLabel.Location = new System.Drawing.Point(6, 16);
    176       this.treeStatusLabel.Name = "treeStatusLabel";
    177       this.treeStatusLabel.Size = new System.Drawing.Size(68, 13);
    178       this.treeStatusLabel.TabIndex = 2;
    179       this.treeStatusLabel.Text = "Tree Status: ";
     153      // btnOptimizeConstants
     154      //
     155      this.btnOptimizeConstants.AutoSize = true;
     156      this.btnOptimizeConstants.Enabled = false;
     157      this.btnOptimizeConstants.Image = ((System.Drawing.Image)(resources.GetObject("btnOptimizeConstants.Image")));
     158      this.btnOptimizeConstants.Location = new System.Drawing.Point(89, 3);
     159      this.btnOptimizeConstants.Name = "btnOptimizeConstants";
     160      this.btnOptimizeConstants.Size = new System.Drawing.Size(80, 24);
     161      this.btnOptimizeConstants.TabIndex = 2;
     162      this.btnOptimizeConstants.Text = "Optimize";
     163      this.btnOptimizeConstants.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText;
     164      this.btnOptimizeConstants.UseVisualStyleBackColor = true;
     165      this.btnOptimizeConstants.Click += new System.EventHandler(this.btnOptimizeConstants_Click);
     166      //
     167      // grpViewHost
     168      //
     169      this.grpViewHost.Controls.Add(this.viewHost);
     170      this.grpViewHost.Dock = System.Windows.Forms.DockStyle.Fill;
     171      this.grpViewHost.Location = new System.Drawing.Point(0, 0);
     172      this.grpViewHost.Name = "grpViewHost";
     173      this.grpViewHost.Size = new System.Drawing.Size(348, 405);
     174      this.grpViewHost.TabIndex = 1;
     175      this.grpViewHost.TabStop = false;
     176      this.grpViewHost.Text = "Details";
    180177      //
    181178      // treeChart
    182179      //
    183       this.treeChart.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    184             | System.Windows.Forms.AnchorStyles.Left)
     180      this.treeChart.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
     181            | System.Windows.Forms.AnchorStyles.Left) 
    185182            | System.Windows.Forms.AnchorStyles.Right)));
    186183      this.treeChart.BackgroundColor = System.Drawing.Color.White;
    187184      this.treeChart.LineColor = System.Drawing.Color.Black;
    188185      this.treeChart.Location = new System.Drawing.Point(6, 32);
     186      this.treeChart.ModifyTree = null;
    189187      this.treeChart.Name = "treeChart";
    190188      this.treeChart.Size = new System.Drawing.Size(201, 332);
    … …  
    195193      this.treeChart.Tree = null;
    196194      this.treeChart.SymbolicExpressionTreeNodeDoubleClicked += new System.Windows.Forms.MouseEventHandler(this.treeChart_SymbolicExpressionTreeNodeDoubleClicked);
    197       //
    198       // grpViewHost
    199       //
    200       this.grpViewHost.Controls.Add(this.viewHost);
    201       this.grpViewHost.Dock = System.Windows.Forms.DockStyle.Fill;
    202       this.grpViewHost.Location = new System.Drawing.Point(0, 0);
    203       this.grpViewHost.Name = "grpViewHost";
    204       this.grpViewHost.Size = new System.Drawing.Size(348, 405);
    205       this.grpViewHost.TabIndex = 1;
    206       this.grpViewHost.TabStop = false;
    207       this.grpViewHost.Text = "Details";
    208195      //
    209196      // InteractiveSymbolicDataAnalysisSolutionSimplifierView
    … …  
    223210      this.grpSimplify.PerformLayout();
    224211      this.flowLayoutPanel.ResumeLayout(false);
     212      this.flowLayoutPanel.PerformLayout();
    225213      this.grpViewHost.ResumeLayout(false);
    226214      this.ResumeLayout(false);
    … …  
    239227    protected System.Windows.Forms.Button btnOptimizeConstants;
    240228    private System.Windows.Forms.Label treeStatusValue;
    241     private System.Windows.Forms.Label treeStatusLabel;
    242229  }
    243230}
Note: See TracChangeset for help on using the changeset viewer.