[3547] | 1 | #region License Information
|
---|
| 2 | /* HeuristicLab
|
---|
[11171] | 3 | * Copyright (C) 2002-2014 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
|
---|
[3547] | 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 |
|
---|
| 22 | namespace HeuristicLab.PluginInfrastructure.Advanced {
|
---|
[3627] | 23 | partial class InstalledPluginsView {
|
---|
[3547] | 24 | /// <summary>
|
---|
| 25 | /// Required designer variable.
|
---|
| 26 | /// </summary>
|
---|
| 27 | private System.ComponentModel.IContainer components = null;
|
---|
| 28 |
|
---|
| 29 | /// <summary>
|
---|
| 30 | /// Clean up any resources being used.
|
---|
| 31 | /// </summary>
|
---|
| 32 | /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
|
---|
| 33 | protected override void Dispose(bool disposing) {
|
---|
| 34 | if (disposing && (components != null)) {
|
---|
| 35 | components.Dispose();
|
---|
| 36 | }
|
---|
| 37 | base.Dispose(disposing);
|
---|
| 38 | }
|
---|
| 39 |
|
---|
| 40 | #region Component Designer generated code
|
---|
| 41 |
|
---|
| 42 | /// <summary>
|
---|
| 43 | /// Required method for Designer support - do not modify
|
---|
| 44 | /// the contents of this method with the code editor.
|
---|
| 45 | /// </summary>
|
---|
| 46 | private void InitializeComponent() {
|
---|
[3573] | 47 | this.components = new System.ComponentModel.Container();
|
---|
[3624] | 48 | System.Windows.Forms.ListViewGroup listViewGroup3 = new System.Windows.Forms.ListViewGroup("Active Plugins", System.Windows.Forms.HorizontalAlignment.Left);
|
---|
| 49 | System.Windows.Forms.ListViewGroup listViewGroup4 = new System.Windows.Forms.ListViewGroup("Disabled Plugins", System.Windows.Forms.HorizontalAlignment.Left);
|
---|
[3547] | 50 | this.localPluginsListView = new HeuristicLab.PluginInfrastructure.Advanced.MultiSelectListView();
|
---|
| 51 | this.nameHeader = new System.Windows.Forms.ColumnHeader();
|
---|
| 52 | this.versionHeader = new System.Windows.Forms.ColumnHeader();
|
---|
| 53 | this.descriptionHeader = new System.Windows.Forms.ColumnHeader();
|
---|
[3624] | 54 | this.pluginImageList = new System.Windows.Forms.ImageList(this.components);
|
---|
[3573] | 55 | this.toolTip = new System.Windows.Forms.ToolTip(this.components);
|
---|
[3624] | 56 | this.refreshButton = new System.Windows.Forms.Button();
|
---|
| 57 | this.removeButton = new System.Windows.Forms.Button();
|
---|
| 58 | this.updateSelectedButton = new System.Windows.Forms.Button();
|
---|
[3547] | 59 | this.SuspendLayout();
|
---|
| 60 | //
|
---|
| 61 | // localPluginsListView
|
---|
| 62 | //
|
---|
| 63 | this.localPluginsListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 64 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 65 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 66 | this.localPluginsListView.CheckBoxes = true;
|
---|
| 67 | this.localPluginsListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
|
---|
| 68 | this.nameHeader,
|
---|
| 69 | this.versionHeader,
|
---|
| 70 | this.descriptionHeader});
|
---|
[3624] | 71 | listViewGroup3.Header = "Active Plugins";
|
---|
| 72 | listViewGroup3.Name = "activePluginsGroup";
|
---|
| 73 | listViewGroup4.Header = "Disabled Plugins";
|
---|
| 74 | listViewGroup4.Name = "disabledPluginsGroup";
|
---|
[3547] | 75 | this.localPluginsListView.Groups.AddRange(new System.Windows.Forms.ListViewGroup[] {
|
---|
[3624] | 76 | listViewGroup3,
|
---|
| 77 | listViewGroup4});
|
---|
[3573] | 78 | this.localPluginsListView.Location = new System.Drawing.Point(0, 0);
|
---|
[3547] | 79 | this.localPluginsListView.Name = "localPluginsListView";
|
---|
[3573] | 80 | this.localPluginsListView.Size = new System.Drawing.Size(539, 477);
|
---|
[3608] | 81 | this.localPluginsListView.SmallImageList = this.pluginImageList;
|
---|
[3624] | 82 | this.localPluginsListView.Sorting = System.Windows.Forms.SortOrder.Ascending;
|
---|
[3547] | 83 | this.localPluginsListView.SuppressItemCheckedEvents = false;
|
---|
| 84 | this.localPluginsListView.TabIndex = 13;
|
---|
| 85 | this.localPluginsListView.UseCompatibleStateImageBehavior = false;
|
---|
| 86 | this.localPluginsListView.View = System.Windows.Forms.View.Details;
|
---|
| 87 | this.localPluginsListView.ItemActivate += new System.EventHandler(this.localPluginsListView_ItemActivate);
|
---|
| 88 | this.localPluginsListView.ItemChecked += new System.Windows.Forms.ItemCheckedEventHandler(this.pluginsListView_ItemChecked);
|
---|
| 89 | //
|
---|
| 90 | // nameHeader
|
---|
| 91 | //
|
---|
| 92 | this.nameHeader.Text = "Name";
|
---|
| 93 | this.nameHeader.Width = 199;
|
---|
| 94 | //
|
---|
| 95 | // versionHeader
|
---|
| 96 | //
|
---|
| 97 | this.versionHeader.Text = "Version";
|
---|
| 98 | this.versionHeader.Width = 84;
|
---|
| 99 | //
|
---|
| 100 | // descriptionHeader
|
---|
| 101 | //
|
---|
| 102 | this.descriptionHeader.Text = "Description";
|
---|
| 103 | this.descriptionHeader.Width = 245;
|
---|
| 104 | //
|
---|
[3608] | 105 | // pluginImageList
|
---|
| 106 | //
|
---|
| 107 | this.pluginImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
|
---|
| 108 | this.pluginImageList.ImageSize = new System.Drawing.Size(16, 16);
|
---|
| 109 | this.pluginImageList.TransparentColor = System.Drawing.Color.Transparent;
|
---|
| 110 | //
|
---|
[3624] | 111 | // refreshButton
|
---|
| 112 | //
|
---|
| 113 | this.refreshButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
---|
[3721] | 114 | this.refreshButton.Image = global::HeuristicLab.PluginInfrastructure.Resources.Repeat;
|
---|
[3624] | 115 | this.refreshButton.Location = new System.Drawing.Point(0, 483);
|
---|
| 116 | this.refreshButton.Name = "refreshButton";
|
---|
| 117 | this.refreshButton.Size = new System.Drawing.Size(96, 25);
|
---|
| 118 | this.refreshButton.TabIndex = 14;
|
---|
| 119 | this.refreshButton.Text = "Refresh List";
|
---|
| 120 | this.refreshButton.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText;
|
---|
| 121 | this.toolTip.SetToolTip(this.refreshButton, "Refresh List of Installed Plugins");
|
---|
| 122 | this.refreshButton.UseVisualStyleBackColor = true;
|
---|
| 123 | this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
|
---|
| 124 | //
|
---|
| 125 | // removeButton
|
---|
| 126 | //
|
---|
| 127 | this.removeButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
---|
| 128 | this.removeButton.Enabled = false;
|
---|
[3721] | 129 | this.removeButton.Image = global::HeuristicLab.PluginInfrastructure.Resources.Remove;
|
---|
[3624] | 130 | this.removeButton.Location = new System.Drawing.Point(222, 483);
|
---|
| 131 | this.removeButton.Name = "removeButton";
|
---|
| 132 | this.removeButton.Size = new System.Drawing.Size(110, 25);
|
---|
| 133 | this.removeButton.TabIndex = 12;
|
---|
| 134 | this.removeButton.Text = "Delete Selected";
|
---|
| 135 | this.removeButton.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText;
|
---|
| 136 | this.toolTip.SetToolTip(this.removeButton, "Delete all selected plugins from disk");
|
---|
| 137 | this.removeButton.UseVisualStyleBackColor = true;
|
---|
| 138 | this.removeButton.Click += new System.EventHandler(this.removeButton_Click);
|
---|
| 139 | //
|
---|
| 140 | // updateSelectedButton
|
---|
| 141 | //
|
---|
| 142 | this.updateSelectedButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
---|
| 143 | this.updateSelectedButton.Enabled = false;
|
---|
[3721] | 144 | this.updateSelectedButton.Image = global::HeuristicLab.PluginInfrastructure.Resources.Internet;
|
---|
[3624] | 145 | this.updateSelectedButton.Location = new System.Drawing.Point(102, 483);
|
---|
| 146 | this.updateSelectedButton.Name = "updateSelectedButton";
|
---|
| 147 | this.updateSelectedButton.Size = new System.Drawing.Size(114, 25);
|
---|
| 148 | this.updateSelectedButton.TabIndex = 6;
|
---|
| 149 | this.updateSelectedButton.Text = "Update Selected";
|
---|
| 150 | this.updateSelectedButton.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText;
|
---|
| 151 | this.toolTip.SetToolTip(this.updateSelectedButton, "Update all selected plugins");
|
---|
| 152 | this.updateSelectedButton.UseVisualStyleBackColor = true;
|
---|
| 153 | this.updateSelectedButton.Click += new System.EventHandler(this.updateSelectedButton_Click);
|
---|
| 154 | //
|
---|
[3547] | 155 | // LocalPluginsView
|
---|
| 156 | //
|
---|
| 157 | this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
---|
[7967] | 158 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
|
---|
[3624] | 159 | this.Controls.Add(this.refreshButton);
|
---|
[3547] | 160 | this.Controls.Add(this.localPluginsListView);
|
---|
| 161 | this.Controls.Add(this.removeButton);
|
---|
| 162 | this.Controls.Add(this.updateSelectedButton);
|
---|
| 163 | this.Name = "LocalPluginsView";
|
---|
| 164 | this.Size = new System.Drawing.Size(539, 508);
|
---|
| 165 | this.ResumeLayout(false);
|
---|
| 166 |
|
---|
| 167 | }
|
---|
| 168 |
|
---|
| 169 | #endregion
|
---|
| 170 |
|
---|
| 171 | private System.Windows.Forms.Button updateSelectedButton;
|
---|
| 172 | private System.Windows.Forms.Button removeButton;
|
---|
| 173 | private MultiSelectListView localPluginsListView;
|
---|
| 174 | private System.Windows.Forms.ColumnHeader nameHeader;
|
---|
| 175 | private System.Windows.Forms.ColumnHeader versionHeader;
|
---|
| 176 | private System.Windows.Forms.ColumnHeader descriptionHeader;
|
---|
[3573] | 177 | private System.Windows.Forms.ToolTip toolTip;
|
---|
[3608] | 178 | private System.Windows.Forms.ImageList pluginImageList;
|
---|
[3624] | 179 | private System.Windows.Forms.Button refreshButton;
|
---|
[3547] | 180 | // private LocalPluginManagerView localPluginManagerView;
|
---|
| 181 | }
|
---|
| 182 | }
|
---|