Ignore:
Timestamp:
02/12/09 14:05:33 (13 years ago)
Author:
gkronber
Message:

Improved dispatching mechanism. #419 (Refactor CEDMA plugins).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/CEDMA-Refactoring-Ticket419/HeuristicLab.CEDMA.Server/ServerForm.designer.cs

    r1044 r1216  
    5353      this.listBox = new System.Windows.Forms.ListBox();
    5454      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();
    5558      this.SuspendLayout();
    5659      //
     
    104107                  | System.Windows.Forms.AnchorStyles.Right)));
    105108      this.listBox.FormattingEnabled = true;
    106       this.listBox.Location = new System.Drawing.Point(12, 58);
     109      this.listBox.Location = new System.Drawing.Point(12, 84);
    107110      this.listBox.Name = "listBox";
    108       this.listBox.Size = new System.Drawing.Size(350, 277);
     111      this.listBox.Size = new System.Drawing.Size(350, 251);
    109112      this.listBox.TabIndex = 11;
    110113      //
    111114      // refreshTimer
    112115      //
    113       this.refreshTimer.Enabled = true;
    114116      this.refreshTimer.Interval = 1000;
    115117      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:";
    116142      //
    117143      // ServerForm
     
    120146      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    121147      this.ClientSize = new System.Drawing.Size(374, 342);
     148      this.Controls.Add(this.label1);
     149      this.Controls.Add(this.maxActiveJobsUpDown);
    122150      this.Controls.Add(this.listBox);
    123151      this.Controls.Add(this.connectButton);
     
    128156      this.Name = "ServerForm";
    129157      this.Text = "CEDMA Server";
     158      ((System.ComponentModel.ISupportInitialize)(this.maxActiveJobsUpDown)).EndInit();
    130159      this.ResumeLayout(false);
    131160      this.PerformLayout();
     
    142171    private System.Windows.Forms.ListBox listBox;
    143172    private System.Windows.Forms.Timer refreshTimer;
     173    private System.Windows.Forms.NumericUpDown maxActiveJobsUpDown;
     174    private System.Windows.Forms.Label label1;
    144175  }
    145176}
Note: See TracChangeset for help on using the changeset viewer.