Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
03/08/09 12:48:18 (15 years ago)
Author:
gkronber
Message:

Merged change sets from CEDMA branch to trunk:

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/sources/HeuristicLab.CEDMA.Server/ServerForm.designer.cs

    r378 r1287  
    4545    /// </summary>
    4646    private void InitializeComponent() {
     47      this.components = new System.ComponentModel.Container();
    4748      this.addressTextBox = new System.Windows.Forms.TextBox();
    4849      this.externalAddressLabel = new System.Windows.Forms.Label();
    49       this.activeAgentsLabel = new System.Windows.Forms.Label();
    50       this.activeAgentsTextBox = new System.Windows.Forms.TextBox();
    5150      this.gridAddressLabel = new System.Windows.Forms.Label();
    5251      this.gridAddress = new System.Windows.Forms.TextBox();
    53       this.startButton = new System.Windows.Forms.Button();
     52      this.connectButton = new System.Windows.Forms.Button();
     53      this.listBox = new System.Windows.Forms.ListBox();
     54      this.refreshTimer = new System.Windows.Forms.Timer(this.components);
     55      this.maxActiveJobsUpDown = new System.Windows.Forms.NumericUpDown();
     56      this.label1 = new System.Windows.Forms.Label();
     57      ((System.ComponentModel.ISupportInitialize)(this.maxActiveJobsUpDown)).BeginInit();
    5458      this.SuspendLayout();
    5559      //
     
    7175      this.externalAddressLabel.Text = "&Address:";
    7276      //
    73       // activeAgentsLabel
    74       //
    75       this.activeAgentsLabel.AutoSize = true;
    76       this.activeAgentsLabel.Location = new System.Drawing.Point(12, 61);
    77       this.activeAgentsLabel.Name = "activeAgentsLabel";
    78       this.activeAgentsLabel.Size = new System.Drawing.Size(75, 13);
    79       this.activeAgentsLabel.TabIndex = 7;
    80       this.activeAgentsLabel.Text = "A&ctive agents:";
    81       //
    82       // activeAgentsTextBox
    83       //
    84       this.activeAgentsTextBox.Location = new System.Drawing.Point(106, 58);
    85       this.activeAgentsTextBox.Name = "activeAgentsTextBox";
    86       this.activeAgentsTextBox.ReadOnly = true;
    87       this.activeAgentsTextBox.Size = new System.Drawing.Size(90, 20);
    88       this.activeAgentsTextBox.TabIndex = 6;
    89       this.activeAgentsTextBox.Text = "0";
    90       this.activeAgentsTextBox.TextAlign = System.Windows.Forms.HorizontalAlignment.Right;
    91       //
    9277      // gridAddressLabel
    9378      //
     
    10388      this.gridAddress.Location = new System.Drawing.Point(106, 32);
    10489      this.gridAddress.Name = "gridAddress";
    105       this.gridAddress.Size = new System.Drawing.Size(229, 20);
     90      this.gridAddress.Size = new System.Drawing.Size(160, 20);
    10691      this.gridAddress.TabIndex = 8;
    10792      //
    108       // startButton
     93      // connectButton
    10994      //
    110       this.startButton.Location = new System.Drawing.Point(15, 84);
    111       this.startButton.Name = "startButton";
    112       this.startButton.Size = new System.Drawing.Size(75, 23);
    113       this.startButton.TabIndex = 10;
    114       this.startButton.Text = "Start";
    115       this.startButton.UseVisualStyleBackColor = true;
    116       this.startButton.Click += new System.EventHandler(this.startButton_Click);
     95      this.connectButton.Location = new System.Drawing.Point(272, 30);
     96      this.connectButton.Name = "connectButton";
     97      this.connectButton.Size = new System.Drawing.Size(75, 23);
     98      this.connectButton.TabIndex = 10;
     99      this.connectButton.Text = "Connect";
     100      this.connectButton.UseVisualStyleBackColor = true;
     101      this.connectButton.Click += new System.EventHandler(this.connectButton_Click);
     102      //
     103      // listBox
     104      //
     105      this.listBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     106                  | System.Windows.Forms.AnchorStyles.Left)
     107                  | System.Windows.Forms.AnchorStyles.Right)));
     108      this.listBox.FormattingEnabled = true;
     109      this.listBox.Location = new System.Drawing.Point(12, 84);
     110      this.listBox.Name = "listBox";
     111      this.listBox.Size = new System.Drawing.Size(350, 251);
     112      this.listBox.TabIndex = 11;
     113      //
     114      // refreshTimer
     115      //
     116      this.refreshTimer.Interval = 1000;
     117      this.refreshTimer.Tick += new System.EventHandler(this.refreshTimer_Tick);
     118      //
     119      // maxActiveJobsUpDown
     120      //
     121      this.maxActiveJobsUpDown.Enabled = false;
     122      this.maxActiveJobsUpDown.Location = new System.Drawing.Point(106, 59);
     123      this.maxActiveJobsUpDown.Maximum = new decimal(new int[] {
     124            64,
     125            0,
     126            0,
     127            0});
     128      this.maxActiveJobsUpDown.Name = "maxActiveJobsUpDown";
     129      this.maxActiveJobsUpDown.Size = new System.Drawing.Size(120, 20);
     130      this.maxActiveJobsUpDown.TabIndex = 12;
     131      this.maxActiveJobsUpDown.ValueChanged += new System.EventHandler(this.maxActiveJobsUpDown_ValueChanged);
     132      //
     133      // label1
     134      //
     135      this.label1.AutoSize = true;
     136      this.label1.Enabled = false;
     137      this.label1.Location = new System.Drawing.Point(12, 61);
     138      this.label1.Name = "label1";
     139      this.label1.Size = new System.Drawing.Size(84, 13);
     140      this.label1.TabIndex = 13;
     141      this.label1.Text = "&Max active jobs:";
    117142      //
    118143      // ServerForm
     
    120145      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    121146      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    122       this.ClientSize = new System.Drawing.Size(347, 119);
    123       this.Controls.Add(this.startButton);
     147      this.ClientSize = new System.Drawing.Size(374, 342);
     148      this.Controls.Add(this.label1);
     149      this.Controls.Add(this.maxActiveJobsUpDown);
     150      this.Controls.Add(this.listBox);
     151      this.Controls.Add(this.connectButton);
    124152      this.Controls.Add(this.gridAddressLabel);
    125153      this.Controls.Add(this.gridAddress);
    126       this.Controls.Add(this.activeAgentsLabel);
    127       this.Controls.Add(this.activeAgentsTextBox);
    128154      this.Controls.Add(this.externalAddressLabel);
    129155      this.Controls.Add(this.addressTextBox);
    130156      this.Name = "ServerForm";
    131       this.Text = "Agent Server";
     157      this.Text = "CEDMA Server";
     158      ((System.ComponentModel.ISupportInitialize)(this.maxActiveJobsUpDown)).EndInit();
    132159      this.ResumeLayout(false);
    133160      this.PerformLayout();
     
    139166    private System.Windows.Forms.TextBox addressTextBox;
    140167    private System.Windows.Forms.Label externalAddressLabel;
    141     private System.Windows.Forms.Label activeAgentsLabel;
    142     private System.Windows.Forms.TextBox activeAgentsTextBox;
    143168    private System.Windows.Forms.Label gridAddressLabel;
    144169    private System.Windows.Forms.TextBox gridAddress;
    145     private System.Windows.Forms.Button startButton;
     170    private System.Windows.Forms.Button connectButton;
     171    private System.Windows.Forms.ListBox listBox;
     172    private System.Windows.Forms.Timer refreshTimer;
     173    private System.Windows.Forms.NumericUpDown maxActiveJobsUpDown;
     174    private System.Windows.Forms.Label label1;
    146175  }
    147176}
Note: See TracChangeset for help on using the changeset viewer.