Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
09/20/11 11:12:10 (13 years ago)
Author:
mkommend
Message:

#1479: Merged grammar editor branch into trunk.

Location:
trunk/sources
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • trunk/sources

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

    r5832 r6803  
    6262      this.initialFrequencyTextBox.Size = new System.Drawing.Size(315, 20);
    6363      //
     64      // minimumArityLabel
     65      //
     66      this.toolTip.SetToolTip(this.minimumArityLabel, "Relative frequency of the symbol in randomly created trees");
     67      //
     68      // maximumArityLabel
     69      //
     70      this.toolTip.SetToolTip(this.maximumArityLabel, "Relative frequency of the symbol in randomly created trees");
     71      //
     72      // minimumArityTextBox
     73      //
     74      this.errorProvider.SetIconAlignment(this.minimumArityTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft);
     75      //
     76      // maximumArityTextBox
     77      //
     78      this.errorProvider.SetIconAlignment(this.maximumArityTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft);
     79      //
    6480      // nameTextBox
    6581      //
    … …  
    7591      //
    7692      this.minTimeOffsetLabel.AutoSize = true;
    77       this.minTimeOffsetLabel.Location = new System.Drawing.Point(3, 55);
     93      this.minTimeOffsetLabel.Location = new System.Drawing.Point(3, 130);
    7894      this.minTimeOffsetLabel.Name = "minTimeOffsetLabel";
    7995      this.minTimeOffsetLabel.Size = new System.Drawing.Size(81, 13);
    … …  
    84100      //
    85101      this.maxTimeOffsetLabel.AutoSize = true;
    86       this.maxTimeOffsetLabel.Location = new System.Drawing.Point(3, 81);
     102      this.maxTimeOffsetLabel.Location = new System.Drawing.Point(3, 156);
    87103      this.maxTimeOffsetLabel.Name = "maxTimeOffsetLabel";
    88104      this.maxTimeOffsetLabel.Size = new System.Drawing.Size(84, 13);
    … …  
    92108      // minTimeOffsetTextBox
    93109      //
    94       this.minTimeOffsetTextBox.Location = new System.Drawing.Point(93, 52);
     110      this.minTimeOffsetTextBox.Location = new System.Drawing.Point(93, 127);
    95111      this.minTimeOffsetTextBox.Name = "minTimeOffsetTextBox";
    96112      this.minTimeOffsetTextBox.Size = new System.Drawing.Size(315, 20);
    … …  
    100116      // maxTimeOffsetTextBox
    101117      //
    102       this.maxTimeOffsetTextBox.Location = new System.Drawing.Point(93, 78);
     118      this.maxTimeOffsetTextBox.Location = new System.Drawing.Point(93, 153);
    103119      this.maxTimeOffsetTextBox.Name = "maxTimeOffsetTextBox";
    104120      this.maxTimeOffsetTextBox.Size = new System.Drawing.Size(315, 20);
    … …  
    115131      this.Controls.Add(this.minTimeOffsetLabel);
    116132      this.Name = "LaggedSymbolView";
    117       this.Size = new System.Drawing.Size(408, 104);
     133      this.Size = new System.Drawing.Size(408, 179);
     134      this.Controls.SetChildIndex(this.maximumArityLabel, 0);
     135      this.Controls.SetChildIndex(this.maximumArityTextBox, 0);
     136      this.Controls.SetChildIndex(this.minimumArityLabel, 0);
     137      this.Controls.SetChildIndex(this.minimumArityTextBox, 0);
    118138      this.Controls.SetChildIndex(this.infoLabel, 0);
    119139      this.Controls.SetChildIndex(this.initialFrequencyTextBox, 0);
Note: See TracChangeset for help on using the changeset viewer.