Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
07/18/10 22:16:04 (14 years ago)
Author:
kgrading
Message:

#828 added various improvements to the plugin cache manager, the execution engine, the transaction handling on the serverside and the server console

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/3.2/sources/HeuristicLab.Hive.Server.Console/3.2/HiveServerManagementConsole.Designer.cs

    r3578 r4042  
    6767      this.tpJobControl = new System.Windows.Forms.TabPage();
    6868      this.scJobControl = new System.Windows.Forms.SplitContainer();
    69       this.lvJobControl = new System.Windows.Forms.ListView();
     69      this.calculatingJobTabControl = new System.Windows.Forms.TabControl();
     70      this.calculatingJobTabPage = new System.Windows.Forms.TabPage();
     71      this.splitContainer5 = new System.Windows.Forms.SplitContainer();
     72      this.cmb_calculatingJob_count = new System.Windows.Forms.ComboBox();
     73      this.btn_calculatingJobs_next = new System.Windows.Forms.Button();
     74      this.btn_calculatingJobs_prev = new System.Windows.Forms.Button();
     75      this.lv_calculatingJobs = new System.Windows.Forms.ListView();
    7076      this.contextMenuJob = new System.Windows.Forms.ContextMenuStrip(this.components);
    71       this.menuItemAbortJob = new System.Windows.Forms.ToolStripMenuItem();
     77      this.offlineItemAbortJob = new System.Windows.Forms.ToolStripMenuItem();
    7278      this.menuItemGetSnapshot = new System.Windows.Forms.ToolStripMenuItem();
    7379      this.ilSmallImgJob = new System.Windows.Forms.ImageList(this.components);
     80      this.finishedJobsTabPage = new System.Windows.Forms.TabPage();
     81      this.splitContainer2 = new System.Windows.Forms.SplitContainer();
     82      this.cmb_finishedJob_count = new System.Windows.Forms.ComboBox();
     83      this.btn_finishedJob_next = new System.Windows.Forms.Button();
     84      this.btn_finishedJob_prev = new System.Windows.Forms.Button();
     85      this.lv_finishedJobs = new System.Windows.Forms.ListView();
     86      this.offlineJobsTabPage = new System.Windows.Forms.TabPage();
     87      this.splitContainer4 = new System.Windows.Forms.SplitContainer();
     88      this.cmb_offlineJob_count = new System.Windows.Forms.ComboBox();
     89      this.btn_offlineJob_next = new System.Windows.Forms.Button();
     90      this.btn_offlinejob_prev = new System.Windows.Forms.Button();
     91      this.lv_offlineJobs = new System.Windows.Forms.ListView();
     92      this.AbortContextMenuStrip = new System.Windows.Forms.ContextMenuStrip(this.components);
    7493      this.ilSmallImgClient = new System.Windows.Forms.ImageList(this.components);
    7594      this.tpClientControl = new System.Windows.Forms.TabPage();
    … …  
    85104      this.tcManagementConsole = new System.Windows.Forms.TabControl();
    86105      this.checkBox1 = new System.Windows.Forms.CheckBox();
     106      this.splitContainer3 = new System.Windows.Forms.SplitContainer();
     107      this.comboBox1 = new System.Windows.Forms.ComboBox();
     108      this.button1 = new System.Windows.Forms.Button();
     109      this.button2 = new System.Windows.Forms.Button();
     110      this.listView1 = new System.Windows.Forms.ListView();
     111      this.toolStripMenuItem1 = new System.Windows.Forms.ToolStripMenuItem();
     112      this.calcToolStripAbortItem = new System.Windows.Forms.ToolStripMenuItem();
    87113      this.menuStrip1.SuspendLayout();
    88114      this.plClientDetails.SuspendLayout();
    … …  
    97123      this.scJobControl.Panel2.SuspendLayout();
    98124      this.scJobControl.SuspendLayout();
     125      this.calculatingJobTabControl.SuspendLayout();
     126      this.calculatingJobTabPage.SuspendLayout();
     127      this.splitContainer5.Panel1.SuspendLayout();
     128      this.splitContainer5.Panel2.SuspendLayout();
     129      this.splitContainer5.SuspendLayout();
    99130      this.contextMenuJob.SuspendLayout();
     131      this.finishedJobsTabPage.SuspendLayout();
     132      this.splitContainer2.Panel1.SuspendLayout();
     133      this.splitContainer2.Panel2.SuspendLayout();
     134      this.splitContainer2.SuspendLayout();
     135      this.offlineJobsTabPage.SuspendLayout();
     136      this.splitContainer4.Panel1.SuspendLayout();
     137      this.splitContainer4.Panel2.SuspendLayout();
     138      this.splitContainer4.SuspendLayout();
     139      this.AbortContextMenuStrip.SuspendLayout();
    100140      this.tpClientControl.SuspendLayout();
    101141      this.scClientControl.Panel1.SuspendLayout();
    … …  
    107147      this.contextMenuGroup.SuspendLayout();
    108148      this.tcManagementConsole.SuspendLayout();
     149      this.splitContainer3.Panel1.SuspendLayout();
     150      this.splitContainer3.Panel2.SuspendLayout();
     151      this.splitContainer3.SuspendLayout();
    109152      this.SuspendLayout();
    110153      //
    … …  
    480523      // scJobControl.Panel1
    481524      //
    482       this.scJobControl.Panel1.Controls.Add(this.lvJobControl);
     525      this.scJobControl.Panel1.Controls.Add(this.calculatingJobTabControl);
    483526      //
    484527      // scJobControl.Panel2
    … …  
    489532      this.scJobControl.TabIndex = 0;
    490533      //
    491       // lvJobControl
    492       //
    493       this.lvJobControl.AllowDrop = true;
    494       this.lvJobControl.ContextMenuStrip = this.contextMenuJob;
    495       this.lvJobControl.Dock = System.Windows.Forms.DockStyle.Fill;
    496       this.lvJobControl.LargeImageList = this.ilLargeImgJob;
    497       this.lvJobControl.Location = new System.Drawing.Point(0, 0);
    498       this.lvJobControl.MultiSelect = false;
    499       this.lvJobControl.Name = "lvJobControl";
    500       this.lvJobControl.Size = new System.Drawing.Size(454, 386);
    501       this.lvJobControl.SmallImageList = this.ilSmallImgJob;
    502       this.lvJobControl.TabIndex = 0;
    503       this.lvJobControl.UseCompatibleStateImageBehavior = false;
    504       this.lvJobControl.MouseUp += new System.Windows.Forms.MouseEventHandler(this.lvJobControl_MouseUp);
    505       this.lvJobControl.MouseMove += new System.Windows.Forms.MouseEventHandler(this.lvJobControl_MouseMove);
    506       this.lvJobControl.Click += new System.EventHandler(this.OnLVJobControlClicked);
     534      // calculatingJobTabControl
     535      //
     536      this.calculatingJobTabControl.Controls.Add(this.calculatingJobTabPage);
     537      this.calculatingJobTabControl.Controls.Add(this.finishedJobsTabPage);
     538      this.calculatingJobTabControl.Controls.Add(this.offlineJobsTabPage);
     539      this.calculatingJobTabControl.Dock = System.Windows.Forms.DockStyle.Fill;
     540      this.calculatingJobTabControl.Location = new System.Drawing.Point(0, 0);
     541      this.calculatingJobTabControl.Name = "calculatingJobTabControl";
     542      this.calculatingJobTabControl.SelectedIndex = 0;
     543      this.calculatingJobTabControl.Size = new System.Drawing.Size(454, 386);
     544      this.calculatingJobTabControl.TabIndex = 0;
     545      //
     546      // calculatingJobTabPage
     547      //
     548      this.calculatingJobTabPage.Controls.Add(this.splitContainer5);
     549      this.calculatingJobTabPage.Location = new System.Drawing.Point(4, 22);
     550      this.calculatingJobTabPage.Name = "calculatingJobTabPage";
     551      this.calculatingJobTabPage.Padding = new System.Windows.Forms.Padding(3);
     552      this.calculatingJobTabPage.Size = new System.Drawing.Size(446, 360);
     553      this.calculatingJobTabPage.TabIndex = 2;
     554      this.calculatingJobTabPage.Text = "Calculating Jobs";
     555      this.calculatingJobTabPage.UseVisualStyleBackColor = true;
     556      //
     557      // splitContainer5
     558      //
     559      this.splitContainer5.Dock = System.Windows.Forms.DockStyle.Fill;
     560      this.splitContainer5.Location = new System.Drawing.Point(3, 3);
     561      this.splitContainer5.Name = "splitContainer5";
     562      this.splitContainer5.Orientation = System.Windows.Forms.Orientation.Horizontal;
     563      //
     564      // splitContainer5.Panel1
     565      //
     566      this.splitContainer5.Panel1.Controls.Add(this.cmb_calculatingJob_count);
     567      this.splitContainer5.Panel1.Controls.Add(this.btn_calculatingJobs_next);
     568      this.splitContainer5.Panel1.Controls.Add(this.btn_calculatingJobs_prev);
     569      //
     570      // splitContainer5.Panel2
     571      //
     572      this.splitContainer5.Panel2.Controls.Add(this.lv_calculatingJobs);
     573      this.splitContainer5.Size = new System.Drawing.Size(440, 354);
     574      this.splitContainer5.SplitterDistance = 28;
     575      this.splitContainer5.TabIndex = 3;
     576      //
     577      // cmb_calculatingJob_count
     578      //
     579      this.cmb_calculatingJob_count.FormattingEnabled = true;
     580      this.cmb_calculatingJob_count.Items.AddRange(new object[] {
     581            "25",
     582            "50",
     583            "75",
     584            "100"});
     585      this.cmb_calculatingJob_count.Location = new System.Drawing.Point(165, 3);
     586      this.cmb_calculatingJob_count.Name = "cmb_calculatingJob_count";
     587      this.cmb_calculatingJob_count.Size = new System.Drawing.Size(48, 21);
     588      this.cmb_calculatingJob_count.TabIndex = 2;
     589      this.cmb_calculatingJob_count.SelectedIndexChanged += new System.EventHandler(this.cmb_count_SelectedIndexChanged);
     590      //
     591      // btn_calculatingJobs_next
     592      //
     593      this.btn_calculatingJobs_next.Location = new System.Drawing.Point(84, 3);
     594      this.btn_calculatingJobs_next.Name = "btn_calculatingJobs_next";
     595      this.btn_calculatingJobs_next.Size = new System.Drawing.Size(75, 23);
     596      this.btn_calculatingJobs_next.TabIndex = 1;
     597      this.btn_calculatingJobs_next.Text = "-->";
     598      this.btn_calculatingJobs_next.UseVisualStyleBackColor = true;
     599      this.btn_calculatingJobs_next.Click += new System.EventHandler(this.btn_next_Click);
     600      //
     601      // btn_calculatingJobs_prev
     602      //
     603      this.btn_calculatingJobs_prev.Location = new System.Drawing.Point(3, 3);
     604      this.btn_calculatingJobs_prev.Name = "btn_calculatingJobs_prev";
     605      this.btn_calculatingJobs_prev.Size = new System.Drawing.Size(75, 23);
     606      this.btn_calculatingJobs_prev.TabIndex = 0;
     607      this.btn_calculatingJobs_prev.Text = "<--";
     608      this.btn_calculatingJobs_prev.UseVisualStyleBackColor = true;
     609      this.btn_calculatingJobs_prev.Click += new System.EventHandler(this.btn_prev_Click);
     610      //
     611      // lv_calculatingJobs
     612      //
     613      this.lv_calculatingJobs.ContextMenuStrip = this.contextMenuJob;
     614      this.lv_calculatingJobs.Dock = System.Windows.Forms.DockStyle.Fill;
     615      this.lv_calculatingJobs.LargeImageList = this.ilLargeImgJob;
     616      this.lv_calculatingJobs.Location = new System.Drawing.Point(0, 0);
     617      this.lv_calculatingJobs.Name = "lv_calculatingJobs";
     618      this.lv_calculatingJobs.Size = new System.Drawing.Size(440, 322);
     619      this.lv_calculatingJobs.SmallImageList = this.ilSmallImgJob;
     620      this.lv_calculatingJobs.TabIndex = 0;
     621      this.lv_calculatingJobs.UseCompatibleStateImageBehavior = false;
     622      this.lv_calculatingJobs.SelectedIndexChanged += new System.EventHandler(this.lv_Jobs_SelectedIndexChanged);
    507623      //
    508624      // contextMenuJob
    509625      //
    510626      this.contextMenuJob.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
    511             this.menuItemAbortJob,
    512             this.menuItemGetSnapshot});
     627            this.menuItemGetSnapshot,
     628            this.calcToolStripAbortItem});
    513629      this.contextMenuJob.Name = "contextMenuJob";
    514630      this.contextMenuJob.Size = new System.Drawing.Size(145, 48);
    515631      //
    516       // menuItemAbortJob
    517       //
    518       this.menuItemAbortJob.Name = "menuItemAbortJob";
    519       this.menuItemAbortJob.Size = new System.Drawing.Size(144, 22);
    520       this.menuItemAbortJob.Text = "Abort";
     632      // offlineItemAbortJob
     633      //
     634      this.offlineItemAbortJob.Name = "offlineItemAbortJob";
     635      this.offlineItemAbortJob.Size = new System.Drawing.Size(152, 22);
     636      this.offlineItemAbortJob.Text = "Abort";
    521637      //
    522638      // menuItemGetSnapshot
    … …  
    533649      this.ilSmallImgJob.Images.SetKeyName(1, "Forward.png");
    534650      this.ilSmallImgJob.Images.SetKeyName(2, "pause.png");
     651      //
     652      // finishedJobsTabPage
     653      //
     654      this.finishedJobsTabPage.Controls.Add(this.splitContainer2);
     655      this.finishedJobsTabPage.Location = new System.Drawing.Point(4, 22);
     656      this.finishedJobsTabPage.Name = "finishedJobsTabPage";
     657      this.finishedJobsTabPage.Padding = new System.Windows.Forms.Padding(3);
     658      this.finishedJobsTabPage.Size = new System.Drawing.Size(446, 360);
     659      this.finishedJobsTabPage.TabIndex = 0;
     660      this.finishedJobsTabPage.Text = "Finished Jobs";
     661      this.finishedJobsTabPage.UseVisualStyleBackColor = true;
     662      //
     663      // splitContainer2
     664      //
     665      this.splitContainer2.Dock = System.Windows.Forms.DockStyle.Fill;
     666      this.splitContainer2.Location = new System.Drawing.Point(3, 3);
     667      this.splitContainer2.Name = "splitContainer2";
     668      this.splitContainer2.Orientation = System.Windows.Forms.Orientation.Horizontal;
     669      //
     670      // splitContainer2.Panel1
     671      //
     672      this.splitContainer2.Panel1.Controls.Add(this.cmb_finishedJob_count);
     673      this.splitContainer2.Panel1.Controls.Add(this.btn_finishedJob_next);
     674      this.splitContainer2.Panel1.Controls.Add(this.btn_finishedJob_prev);
     675      //
     676      // splitContainer2.Panel2
     677      //
     678      this.splitContainer2.Panel2.Controls.Add(this.lv_finishedJobs);
     679      this.splitContainer2.Size = new System.Drawing.Size(440, 354);
     680      this.splitContainer2.SplitterDistance = 28;
     681      this.splitContainer2.TabIndex = 2;
     682      //
     683      // cmb_finishedJob_count
     684      //
     685      this.cmb_finishedJob_count.FormattingEnabled = true;
     686      this.cmb_finishedJob_count.Items.AddRange(new object[] {
     687            "25",
     688            "50",
     689            "75",
     690            "100"});
     691      this.cmb_finishedJob_count.Location = new System.Drawing.Point(165, 3);
     692      this.cmb_finishedJob_count.Name = "cmb_finishedJob_count";
     693      this.cmb_finishedJob_count.Size = new System.Drawing.Size(48, 21);
     694      this.cmb_finishedJob_count.TabIndex = 2;
     695      this.cmb_finishedJob_count.SelectedIndexChanged += new System.EventHandler(this.cmb_count_SelectedIndexChanged);
     696      //
     697      // btn_finishedJob_next
     698      //
     699      this.btn_finishedJob_next.Location = new System.Drawing.Point(84, 3);
     700      this.btn_finishedJob_next.Name = "btn_finishedJob_next";
     701      this.btn_finishedJob_next.Size = new System.Drawing.Size(75, 23);
     702      this.btn_finishedJob_next.TabIndex = 1;
     703      this.btn_finishedJob_next.Text = "-->";
     704      this.btn_finishedJob_next.UseVisualStyleBackColor = true;
     705      this.btn_finishedJob_next.Click += new System.EventHandler(this.btn_next_Click);
     706      //
     707      // btn_finishedJob_prev
     708      //
     709      this.btn_finishedJob_prev.Location = new System.Drawing.Point(3, 3);
     710      this.btn_finishedJob_prev.Name = "btn_finishedJob_prev";
     711      this.btn_finishedJob_prev.Size = new System.Drawing.Size(75, 23);
     712      this.btn_finishedJob_prev.TabIndex = 0;
     713      this.btn_finishedJob_prev.Text = "<--";
     714      this.btn_finishedJob_prev.UseVisualStyleBackColor = true;
     715      this.btn_finishedJob_prev.Click += new System.EventHandler(this.btn_prev_Click);
     716      //
     717      // lv_finishedJobs
     718      //
     719      this.lv_finishedJobs.Dock = System.Windows.Forms.DockStyle.Fill;
     720      this.lv_finishedJobs.LargeImageList = this.ilLargeImgJob;
     721      this.lv_finishedJobs.Location = new System.Drawing.Point(0, 0);
     722      this.lv_finishedJobs.Name = "lv_finishedJobs";
     723      this.lv_finishedJobs.Size = new System.Drawing.Size(440, 322);
     724      this.lv_finishedJobs.SmallImageList = this.ilSmallImgJob;
     725      this.lv_finishedJobs.TabIndex = 0;
     726      this.lv_finishedJobs.UseCompatibleStateImageBehavior = false;
     727      this.lv_finishedJobs.SelectedIndexChanged += new System.EventHandler(this.lv_Jobs_SelectedIndexChanged);
     728      //
     729      // offlineJobsTabPage
     730      //
     731      this.offlineJobsTabPage.Controls.Add(this.splitContainer4);
     732      this.offlineJobsTabPage.Location = new System.Drawing.Point(4, 22);
     733      this.offlineJobsTabPage.Name = "offlineJobsTabPage";
     734      this.offlineJobsTabPage.Padding = new System.Windows.Forms.Padding(3);
     735      this.offlineJobsTabPage.Size = new System.Drawing.Size(446, 360);
     736      this.offlineJobsTabPage.TabIndex = 1;
     737      this.offlineJobsTabPage.Text = "Offline Jobs";
     738      this.offlineJobsTabPage.UseVisualStyleBackColor = true;
     739      //
     740      // splitContainer4
     741      //
     742      this.splitContainer4.Dock = System.Windows.Forms.DockStyle.Fill;
     743      this.splitContainer4.Location = new System.Drawing.Point(3, 3);
     744      this.splitContainer4.Name = "splitContainer4";
     745      this.splitContainer4.Orientation = System.Windows.Forms.Orientation.Horizontal;
     746      //
     747      // splitContainer4.Panel1
     748      //
     749      this.splitContainer4.Panel1.Controls.Add(this.cmb_offlineJob_count);
     750      this.splitContainer4.Panel1.Controls.Add(this.btn_offlineJob_next);
     751      this.splitContainer4.Panel1.Controls.Add(this.btn_offlinejob_prev);
     752      //
     753      // splitContainer4.Panel2
     754      //
     755      this.splitContainer4.Panel2.Controls.Add(this.lv_offlineJobs);
     756      this.splitContainer4.Size = new System.Drawing.Size(440, 354);
     757      this.splitContainer4.SplitterDistance = 28;
     758      this.splitContainer4.TabIndex = 3;
     759      //
     760      // cmb_offlineJob_count
     761      //
     762      this.cmb_offlineJob_count.FormattingEnabled = true;
     763      this.cmb_offlineJob_count.Items.AddRange(new object[] {
     764            "25",
     765            "50",
     766            "75",
     767            "100"});
     768      this.cmb_offlineJob_count.Location = new System.Drawing.Point(165, 3);
     769      this.cmb_offlineJob_count.Name = "cmb_offlineJob_count";
     770      this.cmb_offlineJob_count.Size = new System.Drawing.Size(48, 21);
     771      this.cmb_offlineJob_count.TabIndex = 2;
     772      this.cmb_offlineJob_count.SelectedIndexChanged += new System.EventHandler(this.cmb_count_SelectedIndexChanged);
     773      //
     774      // btn_offlineJob_next
     775      //
     776      this.btn_offlineJob_next.Location = new System.Drawing.Point(84, 3);
     777      this.btn_offlineJob_next.Name = "btn_offlineJob_next";
     778      this.btn_offlineJob_next.Size = new System.Drawing.Size(75, 23);
     779      this.btn_offlineJob_next.TabIndex = 1;
     780      this.btn_offlineJob_next.Text = "-->";
     781      this.btn_offlineJob_next.UseVisualStyleBackColor = true;
     782      this.btn_offlineJob_next.Click += new System.EventHandler(this.btn_next_Click);
     783      //
     784      // btn_offlinejob_prev
     785      //
     786      this.btn_offlinejob_prev.Location = new System.Drawing.Point(3, 3);
     787      this.btn_offlinejob_prev.Name = "btn_offlinejob_prev";
     788      this.btn_offlinejob_prev.Size = new System.Drawing.Size(75, 23);
     789      this.btn_offlinejob_prev.TabIndex = 0;
     790      this.btn_offlinejob_prev.Text = "<--";
     791      this.btn_offlinejob_prev.UseVisualStyleBackColor = true;
     792      this.btn_offlinejob_prev.Click += new System.EventHandler(this.btn_prev_Click);
     793      //
     794      // lv_offlineJobs
     795      //
     796      this.lv_offlineJobs.ContextMenuStrip = this.AbortContextMenuStrip;
     797      this.lv_offlineJobs.Dock = System.Windows.Forms.DockStyle.Fill;
     798      this.lv_offlineJobs.LargeImageList = this.ilLargeImgJob;
     799      this.lv_offlineJobs.Location = new System.Drawing.Point(0, 0);
     800      this.lv_offlineJobs.Name = "lv_offlineJobs";
     801      this.lv_offlineJobs.Size = new System.Drawing.Size(440, 322);
     802      this.lv_offlineJobs.SmallImageList = this.ilSmallImgJob;
     803      this.lv_offlineJobs.TabIndex = 0;
     804      this.lv_offlineJobs.UseCompatibleStateImageBehavior = false;
     805      this.lv_offlineJobs.SelectedIndexChanged += new System.EventHandler(this.lv_Jobs_SelectedIndexChanged);
     806      //
     807      // AbortContextMenuStrip
     808      //
     809      this.AbortContextMenuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
     810            this.offlineItemAbortJob});
     811      this.AbortContextMenuStrip.Name = "AbortContextMenuStrip";
     812      this.AbortContextMenuStrip.Size = new System.Drawing.Size(105, 26);
    535813      //
    536814      // ilSmallImgClient
    … …  
    675953      this.checkBox1.Text = "checkBox1";
    676954      this.checkBox1.UseVisualStyleBackColor = true;
     955      //
     956      // splitContainer3
     957      //
     958      this.splitContainer3.Dock = System.Windows.Forms.DockStyle.Fill;
     959      this.splitContainer3.Location = new System.Drawing.Point(3, 3);
     960      this.splitContainer3.Name = "splitContainer3";
     961      this.splitContainer3.Orientation = System.Windows.Forms.Orientation.Horizontal;
     962      //
     963      // splitContainer3.Panel1
     964      //
     965      this.splitContainer3.Panel1.Controls.Add(this.comboBox1);
     966      this.splitContainer3.Panel1.Controls.Add(this.button1);
     967      this.splitContainer3.Panel1.Controls.Add(this.button2);
     968      //
     969      // splitContainer3.Panel2
     970      //
     971      this.splitContainer3.Panel2.Controls.Add(this.listView1);
     972      this.splitContainer3.Size = new System.Drawing.Size(440, 354);
     973      this.splitContainer3.SplitterDistance = 28;
     974      this.splitContainer3.TabIndex = 2;
     975      //
     976      // comboBox1
     977      //
     978      this.comboBox1.FormattingEnabled = true;
     979      this.comboBox1.Items.AddRange(new object[] {
     980            "25",
     981            "50",
     982            "75",
     983            "100"});
     984      this.comboBox1.Location = new System.Drawing.Point(165, 3);
     985      this.comboBox1.Name = "comboBox1";
     986      this.comboBox1.Size = new System.Drawing.Size(48, 21);
     987      this.comboBox1.TabIndex = 2;
     988      //
     989      // button1
     990      //
     991      this.button1.Location = new System.Drawing.Point(84, 3);
     992      this.button1.Name = "button1";
     993      this.button1.Size = new System.Drawing.Size(75, 23);
     994      this.button1.TabIndex = 1;
     995      this.button1.Text = "-->";
     996      this.button1.UseVisualStyleBackColor = true;
     997      //
     998      // button2
     999      //
     1000      this.button2.Location = new System.Drawing.Point(3, 3);
     1001      this.button2.Name = "button2";
     1002      this.button2.Size = new System.Drawing.Size(75, 23);
     1003      this.button2.TabIndex = 0;
     1004      this.button2.Text = "<--";
     1005      this.button2.UseVisualStyleBackColor = true;
     1006      //
     1007      // listView1
     1008      //
     1009      this.listView1.Dock = System.Windows.Forms.DockStyle.Fill;
     1010      this.listView1.LargeImageList = this.ilLargeImgJob;
     1011      this.listView1.Location = new System.Drawing.Point(0, 0);
     1012      this.listView1.Name = "listView1";
     1013      this.listView1.Size = new System.Drawing.Size(440, 322);
     1014      this.listView1.SmallImageList = this.ilSmallImgJob;
     1015      this.listView1.TabIndex = 0;
     1016      this.listView1.UseCompatibleStateImageBehavior = false;
     1017      //
     1018      // toolStripMenuItem1
     1019      //
     1020      this.toolStripMenuItem1.Name = "toolStripMenuItem1";
     1021      this.toolStripMenuItem1.Size = new System.Drawing.Size(152, 22);
     1022      this.toolStripMenuItem1.Text = "Abort";
     1023      //
     1024      // calcToolStripAbortItem
     1025      //
     1026      this.calcToolStripAbortItem.Name = "calcToolStripAbortItem";
     1027      this.calcToolStripAbortItem.Size = new System.Drawing.Size(144, 22);
     1028      this.calcToolStripAbortItem.Text = "Abort";
    6771029      //
    6781030      // HiveServerManagementConsole
    … …  
    7031055      this.scJobControl.Panel2.ResumeLayout(false);
    7041056      this.scJobControl.ResumeLayout(false);
     1057      this.calculatingJobTabControl.ResumeLayout(false);
     1058      this.calculatingJobTabPage.ResumeLayout(false);
     1059      this.splitContainer5.Panel1.ResumeLayout(false);
     1060      this.splitContainer5.Panel2.ResumeLayout(false);
     1061      this.splitContainer5.ResumeLayout(false);
    7051062      this.contextMenuJob.ResumeLayout(false);
     1063      this.finishedJobsTabPage.ResumeLayout(false);
     1064      this.splitContainer2.Panel1.ResumeLayout(false);
     1065      this.splitContainer2.Panel2.ResumeLayout(false);
     1066      this.splitContainer2.ResumeLayout(false);
     1067      this.offlineJobsTabPage.ResumeLayout(false);
     1068      this.splitContainer4.Panel1.ResumeLayout(false);
     1069      this.splitContainer4.Panel2.ResumeLayout(false);
     1070      this.splitContainer4.ResumeLayout(false);
     1071      this.AbortContextMenuStrip.ResumeLayout(false);
    7061072      this.tpClientControl.ResumeLayout(false);
    7071073      this.scClientControl.Panel1.ResumeLayout(false);
    … …  
    7131079      this.contextMenuGroup.ResumeLayout(false);
    7141080      this.tcManagementConsole.ResumeLayout(false);
     1081      this.splitContainer3.Panel1.ResumeLayout(false);
     1082      this.splitContainer3.Panel2.ResumeLayout(false);
     1083      this.splitContainer3.ResumeLayout(false);
    7151084      this.ResumeLayout(false);
    7161085      this.PerformLayout();
    … …  
    7551124    private System.Windows.Forms.TabPage tpJobControl;
    7561125    private System.Windows.Forms.SplitContainer scJobControl;
    757     private System.Windows.Forms.ListView lvJobControl;
    7581126    private System.Windows.Forms.CheckBox checkBox1;
    7591127    private System.Windows.Forms.ContextMenuStrip contextMenuJob;
    760     private System.Windows.Forms.ToolStripMenuItem menuItemAbortJob;
     1128    private System.Windows.Forms.ToolStripMenuItem offlineItemAbortJob;
    7611129    private System.Windows.Forms.ToolStripMenuItem menuItemGetSnapshot;
    7621130    private System.Windows.Forms.ToolStripMenuItem viewToolStripMenuItem;
    … …  
    7791147    private System.Windows.Forms.ToolStripMenuItem projectToolStripMenuItem;
    7801148    private System.Windows.Forms.ToolStripMenuItem menuItemOpenCalendar;
     1149    private System.Windows.Forms.TabControl calculatingJobTabControl;
     1150    private System.Windows.Forms.TabPage finishedJobsTabPage;
     1151    private System.Windows.Forms.TabPage offlineJobsTabPage;
     1152    private System.Windows.Forms.TabPage calculatingJobTabPage;
     1153    private System.Windows.Forms.SplitContainer splitContainer2;
     1154    private System.Windows.Forms.Button btn_finishedJob_next;
     1155    private System.Windows.Forms.Button btn_finishedJob_prev;
     1156    private System.Windows.Forms.ComboBox cmb_finishedJob_count;
     1157    private System.Windows.Forms.ListView lv_finishedJobs;
     1158    private System.Windows.Forms.SplitContainer splitContainer3;
     1159    private System.Windows.Forms.ComboBox comboBox1;
     1160    private System.Windows.Forms.Button button1;
     1161    private System.Windows.Forms.Button button2;
     1162    private System.Windows.Forms.ListView listView1;
     1163    private System.Windows.Forms.SplitContainer splitContainer5;
     1164    private System.Windows.Forms.ComboBox cmb_calculatingJob_count;
     1165    private System.Windows.Forms.Button btn_calculatingJobs_next;
     1166    private System.Windows.Forms.Button btn_calculatingJobs_prev;
     1167    private System.Windows.Forms.ListView lv_calculatingJobs;
     1168    private System.Windows.Forms.SplitContainer splitContainer4;
     1169    private System.Windows.Forms.ComboBox cmb_offlineJob_count;
     1170    private System.Windows.Forms.Button btn_offlineJob_next;
     1171    private System.Windows.Forms.Button btn_offlinejob_prev;
     1172    private System.Windows.Forms.ListView lv_offlineJobs;
     1173    private System.Windows.Forms.ContextMenuStrip AbortContextMenuStrip;
     1174    private System.Windows.Forms.ToolStripMenuItem toolStripMenuItem1;
     1175    private System.Windows.Forms.ToolStripMenuItem calcToolStripAbortItem;
    7811176  }
    7821177}
Note: See TracChangeset for help on using the changeset viewer.