Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
06/21/12 18:02:33 (12 years ago)
Author:
gkronber
Message:

#1847: merged trunk changes r7800:HEAD into gp move operators branch

Location:
branches/GP-MoveOperators
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • branches/GP-MoveOperators

  • branches/GP-MoveOperators/HeuristicLab.Analysis.Views/3.3/DataTableVisualPropertiesDialog.Designer.cs

    r7259 r8085  
    9191      // tabControl
    9292      //
    93       this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
    94             | System.Windows.Forms.AnchorStyles.Left)
    95             | System.Windows.Forms.AnchorStyles.Right)));
     93      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     94                  | System.Windows.Forms.AnchorStyles.Left)
     95                  | System.Windows.Forms.AnchorStyles.Right)));
    9696      this.tabControl.Controls.Add(this.seriesTabPage);
    9797      this.tabControl.Controls.Add(this.chartTabPage);
    … …  
    115115      // splitContainer
    116116      //
    117       this.splitContainer.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
    118             | System.Windows.Forms.AnchorStyles.Left)
    119             | System.Windows.Forms.AnchorStyles.Right)));
     117      this.splitContainer.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     118                  | System.Windows.Forms.AnchorStyles.Left)
     119                  | System.Windows.Forms.AnchorStyles.Right)));
    120120      this.splitContainer.FixedPanel = System.Windows.Forms.FixedPanel.Panel1;
    121121      this.splitContainer.Location = new System.Drawing.Point(0, 0);
    … …  
    139139      // downButton
    140140      //
     141      this.downButton.Enabled = false;
    141142      this.downButton.Location = new System.Drawing.Point(35, 3);
    142143      this.downButton.Name = "downButton";
    … …  
    149150      // upButton
    150151      //
     152      this.upButton.Enabled = false;
    151153      this.upButton.Location = new System.Drawing.Point(3, 3);
    152154      this.upButton.Name = "upButton";
    … …  
    159161      // seriesListView
    160162      //
    161       this.seriesListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
    162             | System.Windows.Forms.AnchorStyles.Left)
    163             | System.Windows.Forms.AnchorStyles.Right)));
     163      this.seriesListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     164                  | System.Windows.Forms.AnchorStyles.Left)
     165                  | System.Windows.Forms.AnchorStyles.Right)));
    164166      this.seriesListView.HideSelection = false;
    165167      this.seriesListView.Location = new System.Drawing.Point(3, 32);
    … …  
    175177      // dataRowVisualPropertiesControl
    176178      //
    177       this.dataRowVisualPropertiesControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
    178             | System.Windows.Forms.AnchorStyles.Left)
    179             | System.Windows.Forms.AnchorStyles.Right)));
     179      this.dataRowVisualPropertiesControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     180                  | System.Windows.Forms.AnchorStyles.Left)
     181                  | System.Windows.Forms.AnchorStyles.Right)));
    180182      this.dataRowVisualPropertiesControl.Content = null;
    181183      this.dataRowVisualPropertiesControl.Location = new System.Drawing.Point(3, 26);
    … …  
    197199      // dataTableVisualPropertiesControl
    198200      //
    199       this.dataTableVisualPropertiesControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
    200             | System.Windows.Forms.AnchorStyles.Left)
    201             | System.Windows.Forms.AnchorStyles.Right)));
     201      this.dataTableVisualPropertiesControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     202                  | System.Windows.Forms.AnchorStyles.Left)
     203                  | System.Windows.Forms.AnchorStyles.Right)));
    202204      this.dataTableVisualPropertiesControl.Content = null;
    203205      this.dataTableVisualPropertiesControl.Location = new System.Drawing.Point(3, 6);
    … …  
    209211      //
    210212      this.AcceptButton = this.okButton;
    211       this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    212       this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
     213      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
    213214      this.CancelButton = this.cancelButton;
    214215      this.ClientSize = new System.Drawing.Size(493, 435);
Note: See TracChangeset for help on using the changeset viewer.