Ignore:
Timestamp:
09/13/18 13:18:45 (11 months ago)
Author:
ddorfmei
Message:

#2931: Merged [16046-16138/trunk] into branch

Location:
branches/2931_OR-Tools_LP_MIP
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • branches/2931_OR-Tools_LP_MIP

  • branches/2931_OR-Tools_LP_MIP/HeuristicLab.Clients.Hive.JobManager

  • branches/2931_OR-Tools_LP_MIP/HeuristicLab.Clients.Hive.JobManager/3.3/Views/HiveResourceSelector.Designer.cs

    r15583 r16139  
    2121
    2222namespace HeuristicLab.Clients.Hive.JobManager.Views {
    23   partial class HiveResourceSelector {
     23  partial class HiveProjectSelector {
    2424    /// <summary>
    2525    /// Required designer variable.
     
    4646    private void InitializeComponent() {
    4747      this.components = new System.ComponentModel.Container();
    48       System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(HiveResourceSelector));
    49       this.resourcesGroupBox = new System.Windows.Forms.GroupBox();
    50       this.splitContainer = new System.Windows.Forms.SplitContainer();
    51       this.resourcesTreeView = new System.Windows.Forms.TreeView();
    52       this.imageList = new System.Windows.Forms.ImageList(this.components);
     48      this.projectsGroupBox = new System.Windows.Forms.GroupBox();
     49      this.projectsImageList = new System.Windows.Forms.ImageList(this.components);
     50      this.resourcesImageList = new System.Windows.Forms.ImageList(this.components);
    5351      this.searchLabel = new System.Windows.Forms.Label();
    5452      this.searchTextBox = new System.Windows.Forms.TextBox();
    55       this.descriptionTextBox = new System.Windows.Forms.TextBox();
    5653      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
    57       this.resourcesGroupBox.SuspendLayout();
    58       ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).BeginInit();
    59       this.splitContainer.Panel1.SuspendLayout();
    60       this.splitContainer.Panel2.SuspendLayout();
    61       this.splitContainer.SuspendLayout();
     54      this.splitContainer2 = new System.Windows.Forms.SplitContainer();
     55      this.projectsTreeView = new System.Windows.Forms.TreeView();
     56      this.resourcesTreeView = new HeuristicLab.Clients.Hive.Views.TreeView.NoDoubleClickTreeView();
     57      this.summaryGroupBox = new System.Windows.Forms.GroupBox();
     58      this.coresLabel = new System.Windows.Forms.Label();
     59      this.coresSummaryLabel = new System.Windows.Forms.Label();
     60      this.memoryLabel = new System.Windows.Forms.Label();
     61      this.memorySummaryLabel = new System.Windows.Forms.Label();
     62      this.projectsGroupBox.SuspendLayout();
     63      ((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).BeginInit();
     64      this.splitContainer2.Panel1.SuspendLayout();
     65      this.splitContainer2.Panel2.SuspendLayout();
     66      this.splitContainer2.SuspendLayout();
     67      this.summaryGroupBox.SuspendLayout();
    6268      this.SuspendLayout();
    6369      //
    64       // resourcesGroupBox
    65       //
    66       this.resourcesGroupBox.Controls.Add(this.splitContainer);
    67       this.resourcesGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
    68       this.resourcesGroupBox.Location = new System.Drawing.Point(0, 0);
    69       this.resourcesGroupBox.Name = "resourcesGroupBox";
    70       this.resourcesGroupBox.Size = new System.Drawing.Size(308, 365);
    71       this.resourcesGroupBox.TabIndex = 0;
    72       this.resourcesGroupBox.TabStop = false;
    73       this.resourcesGroupBox.Text = "Available Resources";
    74       //
    75       // splitContainer
    76       //
    77       this.splitContainer.Dock = System.Windows.Forms.DockStyle.Fill;
    78       this.splitContainer.Location = new System.Drawing.Point(3, 16);
    79       this.splitContainer.Name = "splitContainer";
    80       this.splitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
    81       //
    82       // splitContainer.Panel1
    83       //
    84       this.splitContainer.Panel1.Controls.Add(this.resourcesTreeView);
    85       this.splitContainer.Panel1.Controls.Add(this.searchLabel);
    86       this.splitContainer.Panel1.Controls.Add(this.searchTextBox);
    87       //
    88       // splitContainer.Panel2
    89       //
    90       this.splitContainer.Panel2.Controls.Add(this.descriptionTextBox);
    91       this.splitContainer.Size = new System.Drawing.Size(302, 346);
    92       this.splitContainer.SplitterDistance = 219;
    93       this.splitContainer.TabIndex = 0;
    94       //
    95       // resourcesTreeView
    96       //
    97       this.resourcesTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    98             | System.Windows.Forms.AnchorStyles.Left)
    99             | System.Windows.Forms.AnchorStyles.Right)));
    100       this.resourcesTreeView.CheckBoxes = true;
    101       this.resourcesTreeView.HideSelection = false;
    102       this.resourcesTreeView.ImageIndex = 0;
    103       this.resourcesTreeView.ImageList = this.imageList;
    104       this.resourcesTreeView.Location = new System.Drawing.Point(3, 29);
    105       this.resourcesTreeView.Name = "resourcesTreeView";
    106       this.resourcesTreeView.SelectedImageIndex = 0;
    107       this.resourcesTreeView.ShowNodeToolTips = true;
    108       this.resourcesTreeView.Size = new System.Drawing.Size(296, 196);
    109       this.resourcesTreeView.TabIndex = 2;
    110       this.resourcesTreeView.AfterCheck += new System.Windows.Forms.TreeViewEventHandler(this.resourcesTreeView_AfterCheck);
    111       this.resourcesTreeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.resourcesTreeView_AfterSelect);
    112       //
    113       // imageList
    114       //
    115       this.imageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
    116       this.imageList.ImageSize = new System.Drawing.Size(16, 16);
    117       this.imageList.TransparentColor = System.Drawing.Color.Transparent;
     70      // projectsGroupBox
     71      //
     72      this.projectsGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     73            | System.Windows.Forms.AnchorStyles.Left)
     74            | System.Windows.Forms.AnchorStyles.Right)));
     75      this.projectsGroupBox.Controls.Add(this.searchLabel);
     76      this.projectsGroupBox.Controls.Add(this.splitContainer2);
     77      this.projectsGroupBox.Controls.Add(this.searchTextBox);
     78      this.projectsGroupBox.Location = new System.Drawing.Point(3, 3);
     79      this.projectsGroupBox.Name = "projectsGroupBox";
     80      this.projectsGroupBox.Size = new System.Drawing.Size(426, 461);
     81      this.projectsGroupBox.TabIndex = 0;
     82      this.projectsGroupBox.TabStop = false;
     83      this.projectsGroupBox.Text = "Available Projects";
     84      //
     85      // projectsImageList
     86      //
     87      this.projectsImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
     88      this.projectsImageList.ImageSize = new System.Drawing.Size(16, 16);
     89      this.projectsImageList.TransparentColor = System.Drawing.Color.Transparent;
     90      //
     91      // resourcesImageList
     92      //
     93      this.resourcesImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
     94      this.resourcesImageList.ImageSize = new System.Drawing.Size(16, 16);
     95      this.resourcesImageList.TransparentColor = System.Drawing.Color.Transparent;
    11896      //
    11997      // searchLabel
    12098      //
    12199      this.searchLabel.Image = HeuristicLab.Common.Resources.VSImageLibrary.Zoom;
    122       this.searchLabel.Location = new System.Drawing.Point(3, 3);
     100      this.searchLabel.Location = new System.Drawing.Point(6, 19);
    123101      this.searchLabel.Name = "searchLabel";
    124102      this.searchLabel.Size = new System.Drawing.Size(20, 20);
     
    128106      // searchTextBox
    129107      //
    130       this.searchTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    131             | System.Windows.Forms.AnchorStyles.Right)));
    132       this.searchTextBox.Location = new System.Drawing.Point(29, 3);
     108      this.searchTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
     109            | System.Windows.Forms.AnchorStyles.Right)));
     110      this.searchTextBox.Location = new System.Drawing.Point(32, 19);
    133111      this.searchTextBox.Name = "searchTextBox";
    134       this.searchTextBox.Size = new System.Drawing.Size(270, 20);
     112      this.searchTextBox.Size = new System.Drawing.Size(388, 20);
    135113      this.searchTextBox.TabIndex = 1;
    136114      this.toolTip.SetToolTip(this.searchTextBox, "Enter string to search for resources");
    137115      this.searchTextBox.TextChanged += new System.EventHandler(this.searchTextBox_TextChanged);
    138116      //
    139       // descriptionTextBox
    140       //
    141       this.descriptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    142             | System.Windows.Forms.AnchorStyles.Left)
    143             | System.Windows.Forms.AnchorStyles.Right)));
    144       this.descriptionTextBox.Font = new System.Drawing.Font("Courier New", 8.25F);
    145       this.descriptionTextBox.Location = new System.Drawing.Point(3, 3);
    146       this.descriptionTextBox.Multiline = true;
    147       this.descriptionTextBox.Name = "descriptionTextBox";
    148       this.descriptionTextBox.ReadOnly = true;
    149       this.descriptionTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Both;
    150       this.descriptionTextBox.Size = new System.Drawing.Size(296, 108);
    151       this.descriptionTextBox.TabIndex = 0;
    152       this.descriptionTextBox.WordWrap = false;
    153       //
    154       // HiveResourceSelector
    155       //
    156       this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
     117      // splitContainer2
     118      //
     119      this.splitContainer2.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     120            | System.Windows.Forms.AnchorStyles.Left)
     121            | System.Windows.Forms.AnchorStyles.Right)));
     122      this.splitContainer2.Location = new System.Drawing.Point(6, 45);
     123      this.splitContainer2.Name = "splitContainer2";
     124      //
     125      // splitContainer2.Panel1
     126      //
     127      this.splitContainer2.Panel1.Controls.Add(this.projectsTreeView);
     128      //
     129      // splitContainer2.Panel2
     130      //
     131      this.splitContainer2.Panel2.Controls.Add(this.resourcesTreeView);
     132      this.splitContainer2.Size = new System.Drawing.Size(414, 410);
     133      this.splitContainer2.SplitterDistance = 204;
     134      this.splitContainer2.TabIndex = 4;
     135      //
     136      // projectsTreeView
     137      //
     138      this.projectsTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
     139      this.projectsTreeView.HideSelection = false;
     140      this.projectsTreeView.ImageIndex = 0;
     141      this.projectsTreeView.ImageList = this.projectsImageList;
     142      this.projectsTreeView.Location = new System.Drawing.Point(0, 0);
     143      this.projectsTreeView.Name = "projectsTreeView";
     144      this.projectsTreeView.SelectedImageIndex = 0;
     145      this.projectsTreeView.ShowNodeToolTips = true;
     146      this.projectsTreeView.Size = new System.Drawing.Size(204, 410);
     147      this.projectsTreeView.TabIndex = 3;
     148      this.projectsTreeView.MouseDoubleClick += new System.Windows.Forms.MouseEventHandler(this.projectsTreeView_MouseDoubleClick);
     149      this.projectsTreeView.BeforeSelect += new System.Windows.Forms.TreeViewCancelEventHandler(this.projectsTreeView_BeforeSelect);
     150      this.projectsTreeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.projectsTreeView_AfterSelect);
     151      //
     152      // resourcesTreeView
     153      //
     154      this.resourcesTreeView.CheckBoxes = true;
     155      this.resourcesTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
     156      this.resourcesTreeView.ImageIndex = 0;
     157      this.resourcesTreeView.ImageList = this.resourcesImageList;
     158      this.resourcesTreeView.Location = new System.Drawing.Point(0, 0);
     159      this.resourcesTreeView.Name = "resourcesTreeView";
     160      this.resourcesTreeView.SelectedImageIndex = 0;
     161      this.resourcesTreeView.Size = new System.Drawing.Size(206, 410);
     162      this.resourcesTreeView.TabIndex = 0;
     163      this.resourcesTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.resourcesTreeView_NodeMouseDoubleClick);
     164      this.resourcesTreeView.BeforeCheck += new System.Windows.Forms.TreeViewCancelEventHandler(this.resourcesTreeView_BeforeCheck);
     165      this.resourcesTreeView.AfterCheck += new System.Windows.Forms.TreeViewEventHandler(this.resourcesTreeView_AfterCheck);
     166      this.resourcesTreeView.MouseDown += new System.Windows.Forms.MouseEventHandler(this.resourcesTreeView_MouseDown);
     167      this.resourcesTreeView.BeforeSelect += new System.Windows.Forms.TreeViewCancelEventHandler(this.resourcesTreeView_BeforeSelect);
     168      //
     169      // summaryGroupBox
     170      //
     171      this.summaryGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)
     172            | System.Windows.Forms.AnchorStyles.Right)));
     173      this.summaryGroupBox.Controls.Add(this.memorySummaryLabel);
     174      this.summaryGroupBox.Controls.Add(this.memoryLabel);
     175      this.summaryGroupBox.Controls.Add(this.coresSummaryLabel);
     176      this.summaryGroupBox.Controls.Add(this.coresLabel);
     177      this.summaryGroupBox.Location = new System.Drawing.Point(3, 470);
     178      this.summaryGroupBox.Name = "summaryGroupBox";
     179      this.summaryGroupBox.Size = new System.Drawing.Size(426, 71);
     180      this.summaryGroupBox.TabIndex = 1;
     181      this.summaryGroupBox.TabStop = false;
     182      this.summaryGroupBox.Text = "Computing Resources";
     183      //
     184      // coresLabel
     185      //
     186      this.coresLabel.AutoSize = true;
     187      this.coresLabel.Location = new System.Drawing.Point(6, 22);
     188      this.coresLabel.Name = "coresLabel";
     189      this.coresLabel.Size = new System.Drawing.Size(37, 13);
     190      this.coresLabel.TabIndex = 1;
     191      this.coresLabel.Text = "Cores:";
     192      //
     193      // coresSummaryLabel
     194      //
     195      this.coresSummaryLabel.AutoSize = true;
     196      this.coresSummaryLabel.Location = new System.Drawing.Point(59, 22);
     197      this.coresSummaryLabel.Name = "coresSummaryLabel";
     198      this.coresSummaryLabel.Size = new System.Drawing.Size(124, 13);
     199      this.coresSummaryLabel.TabIndex = 5;
     200      this.coresSummaryLabel.Text = "0 Total (0 Free / 0 Used)";
     201      //
     202      // memoryLabel
     203      //
     204      this.memoryLabel.AutoSize = true;
     205      this.memoryLabel.Location = new System.Drawing.Point(6, 48);
     206      this.memoryLabel.Name = "memoryLabel";
     207      this.memoryLabel.Size = new System.Drawing.Size(47, 13);
     208      this.memoryLabel.TabIndex = 7;
     209      this.memoryLabel.Text = "Memory:";
     210      //
     211      // memorySummaryLabel
     212      //
     213      this.memorySummaryLabel.AutoSize = true;
     214      this.memorySummaryLabel.Location = new System.Drawing.Point(59, 48);
     215      this.memorySummaryLabel.Name = "memorySummaryLabel";
     216      this.memorySummaryLabel.Size = new System.Drawing.Size(223, 13);
     217      this.memorySummaryLabel.TabIndex = 8;
     218      this.memorySummaryLabel.Text = "0.00 GB Total (0.00 GB Free / 0.00 GB Used)";
     219      //
     220      // HiveProjectSelector
     221      //
    157222      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
    158       this.Controls.Add(this.resourcesGroupBox);
    159       this.Name = "HiveResourceSelector";
    160       this.Size = new System.Drawing.Size(308, 365);
    161       this.resourcesGroupBox.ResumeLayout(false);
    162       this.splitContainer.Panel1.ResumeLayout(false);
    163       this.splitContainer.Panel1.PerformLayout();
    164       this.splitContainer.Panel2.ResumeLayout(false);
    165       this.splitContainer.Panel2.PerformLayout();
    166       ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).EndInit();
    167       this.splitContainer.ResumeLayout(false);
     223      this.Controls.Add(this.summaryGroupBox);
     224      this.Controls.Add(this.projectsGroupBox);
     225      this.Name = "HiveProjectSelector";
     226      this.Size = new System.Drawing.Size(432, 544);
     227      this.Load += new System.EventHandler(this.HiveProjectSelector_Load);
     228      this.projectsGroupBox.ResumeLayout(false);
     229      this.projectsGroupBox.PerformLayout();
     230      this.splitContainer2.Panel1.ResumeLayout(false);
     231      this.splitContainer2.Panel2.ResumeLayout(false);
     232      ((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).EndInit();
     233      this.splitContainer2.ResumeLayout(false);
     234      this.summaryGroupBox.ResumeLayout(false);
     235      this.summaryGroupBox.PerformLayout();
    168236      this.ResumeLayout(false);
    169237
     
    172240    #endregion
    173241
    174     protected System.Windows.Forms.GroupBox resourcesGroupBox;
    175     protected System.Windows.Forms.SplitContainer splitContainer;
     242    protected System.Windows.Forms.GroupBox projectsGroupBox;
    176243    protected System.Windows.Forms.Label searchLabel;
    177244    protected System.Windows.Forms.TextBox searchTextBox;
    178     protected System.Windows.Forms.TreeView resourcesTreeView;
    179     protected System.Windows.Forms.TextBox descriptionTextBox;
    180     protected System.Windows.Forms.ImageList imageList;
     245    protected System.Windows.Forms.ImageList projectsImageList;
    181246    protected System.Windows.Forms.ToolTip toolTip;
    182 
     247    private System.Windows.Forms.ImageList resourcesImageList;
     248    private System.Windows.Forms.SplitContainer splitContainer2;
     249    protected System.Windows.Forms.TreeView projectsTreeView;
     250    protected HeuristicLab.Clients.Hive.Views.TreeView.NoDoubleClickTreeView resourcesTreeView;
     251    private System.Windows.Forms.GroupBox summaryGroupBox;
     252    protected System.Windows.Forms.Label coresLabel;
     253    protected System.Windows.Forms.Label memorySummaryLabel;
     254    protected System.Windows.Forms.Label memoryLabel;
     255    protected System.Windows.Forms.Label coresSummaryLabel;
    183256  }
    184257}
Note: See TracChangeset for help on using the changeset viewer.