Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
07/02/14 13:48:38 (10 years ago)
Author:
ascheibe
Message:

#2147 merged r10453 into stable

Location:
stable
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • stable

  • stable/HeuristicLab.Clients.Hive.Views/3.3/HiveTasks/HiveTaskView.cs

    r9456 r11072  
    9696            this.priorityComboBox.SelectedIndex = Content.Task.Priority;
    9797          } else {
    98             this.priorityComboBox.SelectedIndex = 0;
     98            this.priorityComboBox.SelectedIndex = 1;
    9999          }
    100100          this.coresNeededComboBox.Text = Content.Task.CoresNeeded.ToString();
     
    103103          this.jobIdTextBox.Text = string.Empty;
    104104          this.dateCreatedTextBox.Text = string.Empty;
    105           this.priorityComboBox.SelectedIndex = 0;
     105          this.priorityComboBox.SelectedIndex = 1;
    106106          this.coresNeededComboBox.Text = "1";
    107107          this.memoryNeededComboBox.Text = "128";
  • stable/HeuristicLab.Clients.Hive.Views/3.3/HiveTasks/HiveTaskView.designer.cs

    r9456 r11072  
    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.