Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/RemotePluginInstaller.Designer.cs @ 3155

Last change on this file since 3155 was 3112, checked in by gkronber, 15 years ago
  • Added missing license headers
  • performance improvement in listview_itemchecked handlers
  • added functionality to switch between simple and advanced view in remote plugins view
  • changed url of deployment service in preparation for next release of the test version
  • added default user credentials for the deployment service in preparation for the next release of the test version

#891 (Refactor GUI for plugin management)

File size: 9.1 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2010 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
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
21namespace HeuristicLab.PluginInfrastructure.Advanced {
22  partial class RemotePluginInstaller {
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() {
46      this.components = new System.ComponentModel.Container();
47      System.Windows.Forms.ListViewGroup listViewGroup1 = new System.Windows.Forms.ListViewGroup("Products", System.Windows.Forms.HorizontalAlignment.Left);
48      System.Windows.Forms.ListViewGroup listViewGroup2 = new System.Windows.Forms.ListViewGroup("New Plugins", System.Windows.Forms.HorizontalAlignment.Left);
49      System.Windows.Forms.ListViewGroup listViewGroup3 = new System.Windows.Forms.ListViewGroup("All Plugins", System.Windows.Forms.HorizontalAlignment.Left);
50      this.imageListForRemoteItems = new System.Windows.Forms.ImageList(this.components);
51      this.remotePluginsListView = new HeuristicLab.PluginInfrastructure.Advanced.MultiSelectListView();
52      this.nameHeader = new System.Windows.Forms.ColumnHeader();
53      this.versionHeader = new System.Windows.Forms.ColumnHeader();
54      this.descriptionHeader = new System.Windows.Forms.ColumnHeader();
55      this.radioButton1 = new System.Windows.Forms.RadioButton();
56      this.advancedViewButton = new System.Windows.Forms.RadioButton();
57      this.simpleViewButton = new System.Windows.Forms.RadioButton();
58      this.viewButtonGroupBox = new System.Windows.Forms.GroupBox();
59      this.viewButtonGroupBox.SuspendLayout();
60      this.SuspendLayout();
61      //
62      // imageListForRemoteItems
63      //
64      this.imageListForRemoteItems.ColorDepth = System.Windows.Forms.ColorDepth.Depth32Bit;
65      this.imageListForRemoteItems.ImageSize = new System.Drawing.Size(13, 13);
66      this.imageListForRemoteItems.TransparentColor = System.Drawing.Color.Transparent;
67      //
68      // remotePluginsListView
69      //
70      this.remotePluginsListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
71                  | System.Windows.Forms.AnchorStyles.Left)
72                  | System.Windows.Forms.AnchorStyles.Right)));
73      this.remotePluginsListView.CheckBoxes = true;
74      this.remotePluginsListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
75            this.nameHeader,
76            this.versionHeader,
77            this.descriptionHeader});
78      listViewGroup1.Header = "Products";
79      listViewGroup1.Name = "productsGroup";
80      listViewGroup2.Header = "New Plugins";
81      listViewGroup2.Name = "newPluginsGroup";
82      listViewGroup3.Header = "All Plugins";
83      listViewGroup3.Name = "allPluginsGroup";
84      this.remotePluginsListView.Groups.AddRange(new System.Windows.Forms.ListViewGroup[] {
85            listViewGroup1,
86            listViewGroup2,
87            listViewGroup3});
88      this.remotePluginsListView.Location = new System.Drawing.Point(0, 50);
89      this.remotePluginsListView.Name = "remotePluginsListView";
90      this.remotePluginsListView.Size = new System.Drawing.Size(533, 508);
91      this.remotePluginsListView.StateImageList = this.imageListForRemoteItems;
92      this.remotePluginsListView.SuppressItemCheckedEvents = false;
93      this.remotePluginsListView.TabIndex = 0;
94      this.remotePluginsListView.UseCompatibleStateImageBehavior = false;
95      this.remotePluginsListView.View = System.Windows.Forms.View.Details;
96      this.remotePluginsListView.ItemChecked += new System.Windows.Forms.ItemCheckedEventHandler(this.remotePluginsListView_ItemChecked);
97      //
98      // nameHeader
99      //
100      this.nameHeader.Text = "Name";
101      this.nameHeader.Width = 185;
102      //
103      // versionHeader
104      //
105      this.versionHeader.Text = "Version";
106      this.versionHeader.Width = 93;
107      //
108      // descriptionHeader
109      //
110      this.descriptionHeader.Text = "Description";
111      this.descriptionHeader.Width = 250;
112      //
113      // radioButton1
114      //
115      this.radioButton1.AutoSize = true;
116      this.radioButton1.Location = new System.Drawing.Point(-15, -15);
117      this.radioButton1.Name = "radioButton1";
118      this.radioButton1.Size = new System.Drawing.Size(85, 17);
119      this.radioButton1.TabIndex = 2;
120      this.radioButton1.TabStop = true;
121      this.radioButton1.Text = "radioButton1";
122      this.radioButton1.UseVisualStyleBackColor = true;
123      //
124      // advancedViewButton
125      //
126      this.advancedViewButton.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
127                  | System.Windows.Forms.AnchorStyles.Left)));
128      this.advancedViewButton.Appearance = System.Windows.Forms.Appearance.Button;
129      this.advancedViewButton.AutoSize = true;
130      this.advancedViewButton.Location = new System.Drawing.Point(104, 9);
131      this.advancedViewButton.Name = "advancedViewButton";
132      this.advancedViewButton.Size = new System.Drawing.Size(92, 23);
133      this.advancedViewButton.TabIndex = 3;
134      this.advancedViewButton.Text = "Advanced View";
135      this.advancedViewButton.UseVisualStyleBackColor = true;
136      this.advancedViewButton.CheckedChanged += new System.EventHandler(this.advancedViewButton_CheckedChanged);
137      //
138      // simpleViewButton
139      //
140      this.simpleViewButton.Appearance = System.Windows.Forms.Appearance.Button;
141      this.simpleViewButton.Checked = true;
142      this.simpleViewButton.Location = new System.Drawing.Point(6, 9);
143      this.simpleViewButton.Name = "simpleViewButton";
144      this.simpleViewButton.Size = new System.Drawing.Size(92, 23);
145      this.simpleViewButton.TabIndex = 3;
146      this.simpleViewButton.TabStop = true;
147      this.simpleViewButton.Text = "Simple View";
148      this.simpleViewButton.TextAlign = System.Drawing.ContentAlignment.MiddleCenter;
149      this.simpleViewButton.UseVisualStyleBackColor = true;
150      this.simpleViewButton.CheckedChanged += new System.EventHandler(this.advancedViewButton_CheckedChanged);
151      //
152      // viewButtonGroupBox
153      //
154      this.viewButtonGroupBox.Controls.Add(this.advancedViewButton);
155      this.viewButtonGroupBox.Controls.Add(this.simpleViewButton);
156      this.viewButtonGroupBox.Location = new System.Drawing.Point(3, 8);
157      this.viewButtonGroupBox.Name = "viewButtonGroupBox";
158      this.viewButtonGroupBox.Size = new System.Drawing.Size(204, 36);
159      this.viewButtonGroupBox.TabIndex = 5;
160      this.viewButtonGroupBox.TabStop = false;
161      //
162      // RemotePluginInstaller
163      //
164      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
165      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
166      this.Controls.Add(this.viewButtonGroupBox);
167      this.Controls.Add(this.radioButton1);
168      this.Controls.Add(this.remotePluginsListView);
169      this.Name = "RemotePluginInstaller";
170      this.Size = new System.Drawing.Size(533, 558);
171      this.viewButtonGroupBox.ResumeLayout(false);
172      this.viewButtonGroupBox.PerformLayout();
173      this.ResumeLayout(false);
174      this.PerformLayout();
175
176    }
177
178    #endregion
179
180    private System.Windows.Forms.ImageList imageListForRemoteItems;
181    private MultiSelectListView remotePluginsListView;
182    private System.Windows.Forms.ColumnHeader nameHeader;
183    private System.Windows.Forms.ColumnHeader versionHeader;
184    private System.Windows.Forms.ColumnHeader descriptionHeader;
185    private System.Windows.Forms.RadioButton radioButton1;
186    private System.Windows.Forms.RadioButton advancedViewButton;
187    private System.Windows.Forms.RadioButton simpleViewButton;
188    private System.Windows.Forms.GroupBox viewButtonGroupBox;
189  }
190}
Note: See TracBrowser for help on using the repository browser.