[3090] | 1 | #region License Information
|
---|
| 2 | /* HeuristicLab
|
---|
[11170] | 3 | * Copyright (C) 2002-2014 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
|
---|
[3090] | 4 | *
|
---|
| 5 | * This file is part of HeuristicLab.
|
---|
| 6 | *
|
---|
| 7 | * HeuristicLab is free software: you can redistribute it and/or modify
|
---|
| 8 | * it under the terms of the GNU General Public License as published by
|
---|
| 9 | * the Free Software Foundation, either version 3 of the License, or
|
---|
| 10 | * (at your option) any later version.
|
---|
| 11 | *
|
---|
| 12 | * HeuristicLab is distributed in the hope that it will be useful,
|
---|
| 13 | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
| 14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
---|
| 15 | * GNU General Public License for more details.
|
---|
| 16 | *
|
---|
| 17 | * You should have received a copy of the GNU General Public License
|
---|
| 18 | * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
|
---|
| 19 | */
|
---|
| 20 | #endregion
|
---|
| 21 | namespace HeuristicLab.PluginInfrastructure.Advanced {
|
---|
[3627] | 22 | partial class AvailablePluginsView {
|
---|
[2922] | 23 | /// <summary>
|
---|
| 24 | /// Required designer variable.
|
---|
| 25 | /// </summary>
|
---|
| 26 | private System.ComponentModel.IContainer components = null;
|
---|
| 27 |
|
---|
| 28 | /// <summary>
|
---|
| 29 | /// Clean up any resources being used.
|
---|
| 30 | /// </summary>
|
---|
| 31 | /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
|
---|
| 32 | protected override void Dispose(bool disposing) {
|
---|
| 33 | if (disposing && (components != null)) {
|
---|
| 34 | components.Dispose();
|
---|
| 35 | }
|
---|
| 36 | base.Dispose(disposing);
|
---|
| 37 | }
|
---|
| 38 |
|
---|
| 39 | #region Component Designer generated code
|
---|
| 40 |
|
---|
| 41 | /// <summary>
|
---|
| 42 | /// Required method for Designer support - do not modify
|
---|
| 43 | /// the contents of this method with the code editor.
|
---|
| 44 | /// </summary>
|
---|
| 45 | private void InitializeComponent() {
|
---|
[3608] | 46 | this.components = new System.ComponentModel.Container();
|
---|
| 47 | this.pluginsListView = new HeuristicLab.PluginInfrastructure.Advanced.MultiSelectListView();
|
---|
[3068] | 48 | this.nameHeader = new System.Windows.Forms.ColumnHeader();
|
---|
| 49 | this.versionHeader = new System.Windows.Forms.ColumnHeader();
|
---|
| 50 | this.descriptionHeader = new System.Windows.Forms.ColumnHeader();
|
---|
[3608] | 51 | this.pluginsImageList = new System.Windows.Forms.ImageList(this.components);
|
---|
| 52 | this.productsListView = new System.Windows.Forms.ListView();
|
---|
| 53 | this.productNameHeader = new System.Windows.Forms.ColumnHeader();
|
---|
| 54 | this.productVersionHeader = new System.Windows.Forms.ColumnHeader();
|
---|
| 55 | this.productLargeImageList = new System.Windows.Forms.ImageList(this.components);
|
---|
| 56 | this.productImageList = new System.Windows.Forms.ImageList(this.components);
|
---|
| 57 | this.productsGroupBox = new System.Windows.Forms.GroupBox();
|
---|
| 58 | this.showDetailsButton = new System.Windows.Forms.RadioButton();
|
---|
| 59 | this.showLargeIconsButton = new System.Windows.Forms.RadioButton();
|
---|
| 60 | this.installProductsButton = new System.Windows.Forms.Button();
|
---|
[3612] | 61 | this.refreshButton = new System.Windows.Forms.Button();
|
---|
[3624] | 62 | this.pluginsGroupBox = new System.Windows.Forms.GroupBox();
|
---|
[3612] | 63 | this.installPluginsButton = new System.Windows.Forms.Button();
|
---|
[3624] | 64 | this.splitContainer = new System.Windows.Forms.SplitContainer();
|
---|
| 65 | this.toolTip = new System.Windows.Forms.ToolTip(this.components);
|
---|
[3608] | 66 | this.productsGroupBox.SuspendLayout();
|
---|
| 67 | this.pluginsGroupBox.SuspendLayout();
|
---|
| 68 | this.splitContainer.Panel1.SuspendLayout();
|
---|
| 69 | this.splitContainer.Panel2.SuspendLayout();
|
---|
| 70 | this.splitContainer.SuspendLayout();
|
---|
[2922] | 71 | this.SuspendLayout();
|
---|
| 72 | //
|
---|
[3608] | 73 | // pluginsListView
|
---|
[2922] | 74 | //
|
---|
[3608] | 75 | this.pluginsListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
[3112] | 76 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 77 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
[3608] | 78 | this.pluginsListView.CheckBoxes = true;
|
---|
| 79 | this.pluginsListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
|
---|
[3068] | 80 | this.nameHeader,
|
---|
| 81 | this.versionHeader,
|
---|
| 82 | this.descriptionHeader});
|
---|
[3608] | 83 | this.pluginsListView.Location = new System.Drawing.Point(6, 19);
|
---|
| 84 | this.pluginsListView.Name = "pluginsListView";
|
---|
| 85 | this.pluginsListView.ShowGroups = false;
|
---|
[3612] | 86 | this.pluginsListView.Size = new System.Drawing.Size(266, 502);
|
---|
[3608] | 87 | this.pluginsListView.SmallImageList = this.pluginsImageList;
|
---|
[3624] | 88 | this.pluginsListView.Sorting = System.Windows.Forms.SortOrder.Ascending;
|
---|
[3608] | 89 | this.pluginsListView.SuppressItemCheckedEvents = false;
|
---|
| 90 | this.pluginsListView.TabIndex = 0;
|
---|
| 91 | this.pluginsListView.UseCompatibleStateImageBehavior = false;
|
---|
| 92 | this.pluginsListView.View = System.Windows.Forms.View.Details;
|
---|
| 93 | this.pluginsListView.ItemChecked += new System.Windows.Forms.ItemCheckedEventHandler(this.remotePluginsListView_ItemChecked);
|
---|
[2922] | 94 | //
|
---|
[3068] | 95 | // nameHeader
|
---|
[2922] | 96 | //
|
---|
[3068] | 97 | this.nameHeader.Text = "Name";
|
---|
[3069] | 98 | this.nameHeader.Width = 185;
|
---|
[2922] | 99 | //
|
---|
[3068] | 100 | // versionHeader
|
---|
[2922] | 101 | //
|
---|
[3068] | 102 | this.versionHeader.Text = "Version";
|
---|
[3069] | 103 | this.versionHeader.Width = 93;
|
---|
[2922] | 104 | //
|
---|
[3068] | 105 | // descriptionHeader
|
---|
[2922] | 106 | //
|
---|
[3068] | 107 | this.descriptionHeader.Text = "Description";
|
---|
| 108 | this.descriptionHeader.Width = 250;
|
---|
[2922] | 109 | //
|
---|
[3608] | 110 | // pluginsImageList
|
---|
| 111 | //
|
---|
| 112 | this.pluginsImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
|
---|
| 113 | this.pluginsImageList.ImageSize = new System.Drawing.Size(16, 16);
|
---|
| 114 | this.pluginsImageList.TransparentColor = System.Drawing.Color.Transparent;
|
---|
| 115 | //
|
---|
| 116 | // productsListView
|
---|
| 117 | //
|
---|
| 118 | this.productsListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 119 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 120 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 121 | this.productsListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
|
---|
| 122 | this.productNameHeader,
|
---|
| 123 | this.productVersionHeader});
|
---|
| 124 | this.productsListView.HideSelection = false;
|
---|
| 125 | this.productsListView.LargeImageList = this.productLargeImageList;
|
---|
| 126 | this.productsListView.Location = new System.Drawing.Point(6, 50);
|
---|
| 127 | this.productsListView.MultiSelect = false;
|
---|
| 128 | this.productsListView.Name = "productsListView";
|
---|
| 129 | this.productsListView.ShowGroups = false;
|
---|
[3612] | 130 | this.productsListView.Size = new System.Drawing.Size(240, 471);
|
---|
[3608] | 131 | this.productsListView.SmallImageList = this.productImageList;
|
---|
[3624] | 132 | this.productsListView.Sorting = System.Windows.Forms.SortOrder.Ascending;
|
---|
[3608] | 133 | this.productsListView.TabIndex = 18;
|
---|
| 134 | this.productsListView.UseCompatibleStateImageBehavior = false;
|
---|
| 135 | this.productsListView.View = System.Windows.Forms.View.Details;
|
---|
| 136 | this.productsListView.SelectedIndexChanged += new System.EventHandler(this.productsListView_SelectedIndexChanged);
|
---|
| 137 | //
|
---|
| 138 | // productNameHeader
|
---|
| 139 | //
|
---|
| 140 | this.productNameHeader.Text = "Name";
|
---|
| 141 | //
|
---|
| 142 | // productVersionHeader
|
---|
| 143 | //
|
---|
| 144 | this.productVersionHeader.Text = "Version";
|
---|
| 145 | //
|
---|
| 146 | // productLargeImageList
|
---|
| 147 | //
|
---|
| 148 | this.productLargeImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
|
---|
| 149 | this.productLargeImageList.ImageSize = new System.Drawing.Size(32, 32);
|
---|
| 150 | this.productLargeImageList.TransparentColor = System.Drawing.Color.Transparent;
|
---|
| 151 | //
|
---|
| 152 | // productImageList
|
---|
| 153 | //
|
---|
| 154 | this.productImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
|
---|
| 155 | this.productImageList.ImageSize = new System.Drawing.Size(16, 16);
|
---|
| 156 | this.productImageList.TransparentColor = System.Drawing.Color.Transparent;
|
---|
| 157 | //
|
---|
| 158 | // productsGroupBox
|
---|
| 159 | //
|
---|
| 160 | this.productsGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 161 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 162 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 163 | this.productsGroupBox.Controls.Add(this.showDetailsButton);
|
---|
| 164 | this.productsGroupBox.Controls.Add(this.showLargeIconsButton);
|
---|
| 165 | this.productsGroupBox.Controls.Add(this.installProductsButton);
|
---|
| 166 | this.productsGroupBox.Controls.Add(this.refreshButton);
|
---|
| 167 | this.productsGroupBox.Controls.Add(this.productsListView);
|
---|
[3612] | 168 | this.productsGroupBox.Location = new System.Drawing.Point(0, 0);
|
---|
[3608] | 169 | this.productsGroupBox.Name = "productsGroupBox";
|
---|
[3612] | 170 | this.productsGroupBox.Size = new System.Drawing.Size(252, 558);
|
---|
[3608] | 171 | this.productsGroupBox.TabIndex = 19;
|
---|
| 172 | this.productsGroupBox.TabStop = false;
|
---|
| 173 | this.productsGroupBox.Text = "Products";
|
---|
| 174 | //
|
---|
| 175 | // showDetailsButton
|
---|
| 176 | //
|
---|
| 177 | this.showDetailsButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 178 | this.showDetailsButton.Appearance = System.Windows.Forms.Appearance.Button;
|
---|
| 179 | this.showDetailsButton.Checked = true;
|
---|
[3721] | 180 | this.showDetailsButton.Image = global::HeuristicLab.PluginInfrastructure.Resources.ShowDetails;
|
---|
[3612] | 181 | this.showDetailsButton.Location = new System.Drawing.Point(221, 19);
|
---|
[3608] | 182 | this.showDetailsButton.Name = "showDetailsButton";
|
---|
| 183 | this.showDetailsButton.Size = new System.Drawing.Size(25, 25);
|
---|
| 184 | this.showDetailsButton.TabIndex = 22;
|
---|
| 185 | this.showDetailsButton.TabStop = true;
|
---|
| 186 | this.toolTip.SetToolTip(this.showDetailsButton, "Show Details");
|
---|
| 187 | this.showDetailsButton.UseVisualStyleBackColor = true;
|
---|
| 188 | this.showDetailsButton.CheckedChanged += new System.EventHandler(this.showDetailsButton_CheckedChanged);
|
---|
| 189 | //
|
---|
| 190 | // showLargeIconsButton
|
---|
| 191 | //
|
---|
| 192 | this.showLargeIconsButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 193 | this.showLargeIconsButton.Appearance = System.Windows.Forms.Appearance.Button;
|
---|
[3721] | 194 | this.showLargeIconsButton.Image = global::HeuristicLab.PluginInfrastructure.Resources.ShowIcons;
|
---|
[3612] | 195 | this.showLargeIconsButton.Location = new System.Drawing.Point(190, 19);
|
---|
[3608] | 196 | this.showLargeIconsButton.Name = "showLargeIconsButton";
|
---|
| 197 | this.showLargeIconsButton.Size = new System.Drawing.Size(25, 25);
|
---|
| 198 | this.showLargeIconsButton.TabIndex = 21;
|
---|
| 199 | this.toolTip.SetToolTip(this.showLargeIconsButton, "Show Large Icons");
|
---|
| 200 | this.showLargeIconsButton.UseVisualStyleBackColor = true;
|
---|
| 201 | this.showLargeIconsButton.CheckedChanged += new System.EventHandler(this.showLargeIconsButton_CheckedChanged);
|
---|
| 202 | //
|
---|
| 203 | // installProductsButton
|
---|
| 204 | //
|
---|
| 205 | this.installProductsButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
---|
| 206 | this.installProductsButton.Enabled = false;
|
---|
[3721] | 207 | this.installProductsButton.Image = global::HeuristicLab.PluginInfrastructure.Resources.Install;
|
---|
[3612] | 208 | this.installProductsButton.Location = new System.Drawing.Point(6, 527);
|
---|
[3608] | 209 | this.installProductsButton.Name = "installProductsButton";
|
---|
| 210 | this.installProductsButton.Size = new System.Drawing.Size(146, 25);
|
---|
| 211 | this.installProductsButton.TabIndex = 20;
|
---|
| 212 | this.installProductsButton.Text = "Install Selected Product";
|
---|
| 213 | this.installProductsButton.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText;
|
---|
| 214 | this.toolTip.SetToolTip(this.installProductsButton, "Install all plugins for the selected product");
|
---|
| 215 | this.installProductsButton.UseVisualStyleBackColor = true;
|
---|
| 216 | this.installProductsButton.Click += new System.EventHandler(this.installProductsButton_Click);
|
---|
| 217 | //
|
---|
[3612] | 218 | // refreshButton
|
---|
[3608] | 219 | //
|
---|
[3721] | 220 | this.refreshButton.Image = global::HeuristicLab.PluginInfrastructure.Resources.Internet;
|
---|
[3612] | 221 | this.refreshButton.Location = new System.Drawing.Point(6, 19);
|
---|
| 222 | this.refreshButton.Name = "refreshButton";
|
---|
| 223 | this.refreshButton.Size = new System.Drawing.Size(72, 25);
|
---|
| 224 | this.refreshButton.TabIndex = 16;
|
---|
| 225 | this.refreshButton.Text = "Refresh";
|
---|
| 226 | this.refreshButton.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText;
|
---|
| 227 | this.toolTip.SetToolTip(this.refreshButton, "Refresh available products from HeuristicLab deployment service");
|
---|
| 228 | this.refreshButton.UseVisualStyleBackColor = true;
|
---|
| 229 | this.refreshButton.Click += new System.EventHandler(this.refreshRemoteButton_Click);
|
---|
[3608] | 230 | //
|
---|
[3624] | 231 | // pluginsGroupBox
|
---|
| 232 | //
|
---|
| 233 | this.pluginsGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 234 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 235 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 236 | this.pluginsGroupBox.Controls.Add(this.pluginsListView);
|
---|
| 237 | this.pluginsGroupBox.Controls.Add(this.installPluginsButton);
|
---|
| 238 | this.pluginsGroupBox.Location = new System.Drawing.Point(-1, 0);
|
---|
| 239 | this.pluginsGroupBox.Name = "pluginsGroupBox";
|
---|
| 240 | this.pluginsGroupBox.Size = new System.Drawing.Size(278, 558);
|
---|
| 241 | this.pluginsGroupBox.TabIndex = 20;
|
---|
| 242 | this.pluginsGroupBox.TabStop = false;
|
---|
| 243 | this.pluginsGroupBox.Text = "Plugins";
|
---|
| 244 | //
|
---|
[3612] | 245 | // installPluginsButton
|
---|
[3608] | 246 | //
|
---|
[3612] | 247 | this.installPluginsButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
---|
| 248 | this.installPluginsButton.Enabled = false;
|
---|
[3721] | 249 | this.installPluginsButton.Image = global::HeuristicLab.PluginInfrastructure.Resources.Install;
|
---|
[3612] | 250 | this.installPluginsButton.Location = new System.Drawing.Point(6, 527);
|
---|
| 251 | this.installPluginsButton.Name = "installPluginsButton";
|
---|
| 252 | this.installPluginsButton.Size = new System.Drawing.Size(140, 25);
|
---|
| 253 | this.installPluginsButton.TabIndex = 17;
|
---|
| 254 | this.installPluginsButton.Text = "Install Selected Plugins";
|
---|
| 255 | this.installPluginsButton.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText;
|
---|
| 256 | this.toolTip.SetToolTip(this.installPluginsButton, "Install only checked plugins");
|
---|
| 257 | this.installPluginsButton.UseVisualStyleBackColor = true;
|
---|
| 258 | this.installPluginsButton.Click += new System.EventHandler(this.installPluginsButton_Click);
|
---|
[3608] | 259 | //
|
---|
[3624] | 260 | // splitContainer
|
---|
| 261 | //
|
---|
| 262 | this.splitContainer.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 263 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 264 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 265 | this.splitContainer.Location = new System.Drawing.Point(0, 0);
|
---|
| 266 | this.splitContainer.Name = "splitContainer";
|
---|
| 267 | //
|
---|
| 268 | // splitContainer.Panel1
|
---|
| 269 | //
|
---|
| 270 | this.splitContainer.Panel1.Controls.Add(this.productsGroupBox);
|
---|
| 271 | //
|
---|
| 272 | // splitContainer.Panel2
|
---|
| 273 | //
|
---|
| 274 | this.splitContainer.Panel2.Controls.Add(this.pluginsGroupBox);
|
---|
| 275 | this.splitContainer.Size = new System.Drawing.Size(533, 558);
|
---|
| 276 | this.splitContainer.SplitterDistance = 252;
|
---|
| 277 | this.splitContainer.TabIndex = 21;
|
---|
| 278 | //
|
---|
[3474] | 279 | // RemotePluginInstallerView
|
---|
[3112] | 280 | //
|
---|
[2922] | 281 | this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
---|
[7967] | 282 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
|
---|
[3608] | 283 | this.Controls.Add(this.splitContainer);
|
---|
[3474] | 284 | this.Name = "RemotePluginInstallerView";
|
---|
[2922] | 285 | this.Size = new System.Drawing.Size(533, 558);
|
---|
[3608] | 286 | this.productsGroupBox.ResumeLayout(false);
|
---|
| 287 | this.pluginsGroupBox.ResumeLayout(false);
|
---|
| 288 | this.splitContainer.Panel1.ResumeLayout(false);
|
---|
| 289 | this.splitContainer.Panel2.ResumeLayout(false);
|
---|
| 290 | this.splitContainer.ResumeLayout(false);
|
---|
[2922] | 291 | this.ResumeLayout(false);
|
---|
| 292 |
|
---|
| 293 | }
|
---|
| 294 |
|
---|
| 295 | #endregion
|
---|
| 296 |
|
---|
[3608] | 297 | private MultiSelectListView pluginsListView;
|
---|
[3068] | 298 | private System.Windows.Forms.ColumnHeader nameHeader;
|
---|
| 299 | private System.Windows.Forms.ColumnHeader versionHeader;
|
---|
| 300 | private System.Windows.Forms.ColumnHeader descriptionHeader;
|
---|
[3547] | 301 | private System.Windows.Forms.Button refreshButton;
|
---|
[3608] | 302 | private System.Windows.Forms.Button installPluginsButton;
|
---|
| 303 | private System.Windows.Forms.ListView productsListView;
|
---|
| 304 | private System.Windows.Forms.GroupBox productsGroupBox;
|
---|
| 305 | private System.Windows.Forms.GroupBox pluginsGroupBox;
|
---|
| 306 | private System.Windows.Forms.SplitContainer splitContainer;
|
---|
| 307 | private System.Windows.Forms.Button installProductsButton;
|
---|
| 308 | private System.Windows.Forms.ColumnHeader productNameHeader;
|
---|
| 309 | private System.Windows.Forms.ColumnHeader productVersionHeader;
|
---|
| 310 | private System.Windows.Forms.ImageList productImageList;
|
---|
| 311 | private System.Windows.Forms.ImageList pluginsImageList;
|
---|
| 312 | private System.Windows.Forms.RadioButton showDetailsButton;
|
---|
| 313 | private System.Windows.Forms.RadioButton showLargeIconsButton;
|
---|
| 314 | private System.Windows.Forms.ToolTip toolTip;
|
---|
| 315 | private System.Windows.Forms.ImageList productLargeImageList;
|
---|
[2922] | 316 | }
|
---|
| 317 | }
|
---|