Ignore:
Timestamp:
02/20/14 14:29:01 (6 years ago)
Author:
gkronber
Message:

#2124 merged all changes from trunk to prepare for trunk-reintegration

Location:
branches/SpectralKernelForGaussianProcesses
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • branches/SpectralKernelForGaussianProcesses

  • branches/SpectralKernelForGaussianProcesses/HeuristicLab.Clients.Hive.Views/3.3/HiveTasks/HiveTaskView.designer.cs

    r9456 r10479  
    109109      // stateLogViewHost
    110110      //
    111       this.stateLogViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    112                   | System.Windows.Forms.AnchorStyles.Left)
    113                   | System.Windows.Forms.AnchorStyles.Right)));
     111      this.stateLogViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
     112            | System.Windows.Forms.AnchorStyles.Left)
     113            | System.Windows.Forms.AnchorStyles.Right)));
    114114      this.stateLogViewHost.Caption = "View";
    115115      this.stateLogViewHost.Content = null;
     
    137137      // splitContainer1
    138138      //
    139       this.splitContainer1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    140                   | System.Windows.Forms.AnchorStyles.Right)));
     139      this.splitContainer1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
     140            | System.Windows.Forms.AnchorStyles.Right)));
    141141      this.splitContainer1.Location = new System.Drawing.Point(6, 6);
    142142      this.splitContainer1.Name = "splitContainer1";
     
    189189      // priorityComboBox
    190190      //
    191       this.priorityComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    192                   | System.Windows.Forms.AnchorStyles.Right)));
     191      this.priorityComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
     192            | System.Windows.Forms.AnchorStyles.Right)));
    193193      this.priorityComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
    194194      this.priorityComboBox.FormattingEnabled = true;
    195195      this.priorityComboBox.Items.AddRange(new object[] {
     196            "Low",
    196197            "Normal",
    197198            "Urgent",
     
    214215      // jobIdTextBox
    215216      //
    216       this.jobIdTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    217                   | System.Windows.Forms.AnchorStyles.Right)));
     217      this.jobIdTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
     218            | System.Windows.Forms.AnchorStyles.Right)));
    218219      this.jobIdTextBox.Location = new System.Drawing.Point(87, 13);
    219220      this.jobIdTextBox.Name = "jobIdTextBox";
     
    232233      // lastUpdatedTextBox
    233234      //
    234       this.lastUpdatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    235                   | System.Windows.Forms.AnchorStyles.Right)));
     235      this.lastUpdatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
     236            | System.Windows.Forms.AnchorStyles.Right)));
    236237      this.lastUpdatedTextBox.Location = new System.Drawing.Point(87, 66);
    237238      this.lastUpdatedTextBox.Name = "lastUpdatedTextBox";
     
    266267      // memoryNeededComboBox
    267268      //
    268       this.memoryNeededComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    269                   | System.Windows.Forms.AnchorStyles.Right)));
     269      this.memoryNeededComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
     270            | System.Windows.Forms.AnchorStyles.Right)));
    270271      this.memoryNeededComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
    271272      this.memoryNeededComboBox.FormattingEnabled = true;
     
    283284      // coresNeededComboBox
    284285      //
    285       this.coresNeededComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    286                   | System.Windows.Forms.AnchorStyles.Right)));
     286      this.coresNeededComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
     287            | System.Windows.Forms.AnchorStyles.Right)));
    287288      this.coresNeededComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
    288289      this.coresNeededComboBox.FormattingEnabled = true;
     
    360361      // commandTextBox
    361362      //
    362       this.commandTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    363                   | System.Windows.Forms.AnchorStyles.Right)));
     363      this.commandTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
     364            | System.Windows.Forms.AnchorStyles.Right)));
    364365      this.commandTextBox.Location = new System.Drawing.Point(95, 39);
    365366      this.commandTextBox.Name = "commandTextBox";
     
    378379      // stateTextBox
    379380      //
    380       this.stateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    381                   | System.Windows.Forms.AnchorStyles.Right)));
     381      this.stateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
     382            | System.Windows.Forms.AnchorStyles.Right)));
    382383      this.stateTextBox.Location = new System.Drawing.Point(95, 13);
    383384      this.stateTextBox.Name = "stateTextBox";
     
    405406      // dateCalculatedText
    406407      //
    407       this.dateCalculatedText.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    408                   | System.Windows.Forms.AnchorStyles.Right)));
     408      this.dateCalculatedText.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
     409            | System.Windows.Forms.AnchorStyles.Right)));
    409410      this.dateCalculatedText.Location = new System.Drawing.Point(95, 117);
    410411      this.dateCalculatedText.Name = "dateCalculatedText";
     
    414415      // dateFinishedTextBox
    415416      //
    416       this.dateFinishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    417                   | System.Windows.Forms.AnchorStyles.Right)));
     417      this.dateFinishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
     418            | System.Windows.Forms.AnchorStyles.Right)));
    418419      this.dateFinishedTextBox.Location = new System.Drawing.Point(95, 143);
    419420      this.dateFinishedTextBox.Name = "dateFinishedTextBox";
     
    423424      // executionTimeTextBox
    424425      //
    425       this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    426                   | System.Windows.Forms.AnchorStyles.Right)));
     426      this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
     427            | System.Windows.Forms.AnchorStyles.Right)));
    427428      this.executionTimeTextBox.Location = new System.Drawing.Point(95, 65);
    428429      this.executionTimeTextBox.Name = "executionTimeTextBox";
     
    432433      // dateCreatedTextBox
    433434      //
    434       this.dateCreatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    435                   | System.Windows.Forms.AnchorStyles.Right)));
     435      this.dateCreatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
     436            | System.Windows.Forms.AnchorStyles.Right)));
    436437      this.dateCreatedTextBox.Location = new System.Drawing.Point(95, 91);
    437438      this.dateCreatedTextBox.Name = "dateCreatedTextBox";
     
    477478      // exceptionTextBox
    478479      //
    479       this.exceptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    480                   | System.Windows.Forms.AnchorStyles.Right)));
     480      this.exceptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
     481            | System.Windows.Forms.AnchorStyles.Right)));
    481482      this.exceptionTextBox.Location = new System.Drawing.Point(95, 169);
    482483      this.exceptionTextBox.Name = "exceptionTextBox";
     
    487488      // modifyItemButton
    488489      //
    489       this.modifyItemButton.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    490                   | System.Windows.Forms.AnchorStyles.Right)));
     490      this.modifyItemButton.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
     491            | System.Windows.Forms.AnchorStyles.Right)));
    491492      this.modifyItemButton.Location = new System.Drawing.Point(3, 224);
    492493      this.modifyItemButton.Name = "modifyItemButton";
     
    499500      // tabControl
    500501      //
    501       this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    502                   | System.Windows.Forms.AnchorStyles.Left)
    503                   | System.Windows.Forms.AnchorStyles.Right)));
     502      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
     503            | System.Windows.Forms.AnchorStyles.Left)
     504            | System.Windows.Forms.AnchorStyles.Right)));
    504505      this.tabControl.Controls.Add(this.detailsTabPage);
    505506      this.tabControl.Controls.Add(this.stateLogTabPage);
     
    512513      // HiveTaskView
    513514      //
    514       this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    515515      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
    516516      this.Controls.Add(this.tabControl);
Note: See TracChangeset for help on using the changeset viewer.