1 | namespace HeuristicLab.PluginInfrastructure.Advanced {
|
---|
2 | partial class RemotePluginInstaller {
|
---|
3 | /// <summary>
|
---|
4 | /// Required designer variable.
|
---|
5 | /// </summary>
|
---|
6 | private System.ComponentModel.IContainer components = null;
|
---|
7 |
|
---|
8 | /// <summary>
|
---|
9 | /// Clean up any resources being used.
|
---|
10 | /// </summary>
|
---|
11 | /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
|
---|
12 | protected override void Dispose(bool disposing) {
|
---|
13 | if (disposing && (components != null)) {
|
---|
14 | components.Dispose();
|
---|
15 | }
|
---|
16 | base.Dispose(disposing);
|
---|
17 | }
|
---|
18 |
|
---|
19 | #region Component Designer generated code
|
---|
20 |
|
---|
21 | /// <summary>
|
---|
22 | /// Required method for Designer support - do not modify
|
---|
23 | /// the contents of this method with the code editor.
|
---|
24 | /// </summary>
|
---|
25 | private void InitializeComponent() {
|
---|
26 | this.components = new System.ComponentModel.Container();
|
---|
27 | System.Windows.Forms.ListViewGroup listViewGroup1 = new System.Windows.Forms.ListViewGroup("Available Products", System.Windows.Forms.HorizontalAlignment.Left);
|
---|
28 | System.Windows.Forms.ListViewGroup listViewGroup2 = new System.Windows.Forms.ListViewGroup("Available Plugins (Most Recent Version)", System.Windows.Forms.HorizontalAlignment.Left);
|
---|
29 | System.Windows.Forms.ListViewGroup listViewGroup3 = new System.Windows.Forms.ListViewGroup("Available Plugins (All Versions)", System.Windows.Forms.HorizontalAlignment.Left);
|
---|
30 | this.remotePluginsListView = new System.Windows.Forms.ListView();
|
---|
31 | this.columnHeader1 = new System.Windows.Forms.ColumnHeader();
|
---|
32 | this.columnHeader2 = new System.Windows.Forms.ColumnHeader();
|
---|
33 | this.columnHeader3 = new System.Windows.Forms.ColumnHeader();
|
---|
34 | this.imageListForRemoteItems = new System.Windows.Forms.ImageList(this.components);
|
---|
35 | this.SuspendLayout();
|
---|
36 | //
|
---|
37 | // remotePluginsListView
|
---|
38 | //
|
---|
39 | this.remotePluginsListView.CheckBoxes = true;
|
---|
40 | this.remotePluginsListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
|
---|
41 | this.columnHeader1,
|
---|
42 | this.columnHeader2,
|
---|
43 | this.columnHeader3});
|
---|
44 | this.remotePluginsListView.Dock = System.Windows.Forms.DockStyle.Fill;
|
---|
45 | this.remotePluginsListView.FullRowSelect = true;
|
---|
46 | listViewGroup1.Header = "Available Products";
|
---|
47 | listViewGroup1.Name = "productsGroup";
|
---|
48 | listViewGroup2.Header = "Available Plugins (Most Recent Version)";
|
---|
49 | listViewGroup2.Name = "newPluginsGroup";
|
---|
50 | listViewGroup3.Header = "Available Plugins (All Versions)";
|
---|
51 | listViewGroup3.Name = "allPluginsGroup";
|
---|
52 | this.remotePluginsListView.Groups.AddRange(new System.Windows.Forms.ListViewGroup[] {
|
---|
53 | listViewGroup1,
|
---|
54 | listViewGroup2,
|
---|
55 | listViewGroup3});
|
---|
56 | this.remotePluginsListView.Location = new System.Drawing.Point(0, 0);
|
---|
57 | this.remotePluginsListView.Name = "remotePluginsListView";
|
---|
58 | this.remotePluginsListView.Size = new System.Drawing.Size(533, 558);
|
---|
59 | this.remotePluginsListView.StateImageList = this.imageListForRemoteItems;
|
---|
60 | this.remotePluginsListView.TabIndex = 10;
|
---|
61 | this.remotePluginsListView.UseCompatibleStateImageBehavior = false;
|
---|
62 | this.remotePluginsListView.View = System.Windows.Forms.View.Details;
|
---|
63 | this.remotePluginsListView.ItemChecked += new System.Windows.Forms.ItemCheckedEventHandler(this.remotePluginsListView_ItemChecked);
|
---|
64 | //
|
---|
65 | // columnHeader1
|
---|
66 | //
|
---|
67 | this.columnHeader1.Text = "Name";
|
---|
68 | this.columnHeader1.Width = 220;
|
---|
69 | //
|
---|
70 | // columnHeader2
|
---|
71 | //
|
---|
72 | this.columnHeader2.Text = "Version";
|
---|
73 | this.columnHeader2.Width = 120;
|
---|
74 | //
|
---|
75 | // columnHeader3
|
---|
76 | //
|
---|
77 | this.columnHeader3.Text = "Description";
|
---|
78 | this.columnHeader3.Width = 240;
|
---|
79 | //
|
---|
80 | // imageListForRemoteItems
|
---|
81 | //
|
---|
82 | this.imageListForRemoteItems.ColorDepth = System.Windows.Forms.ColorDepth.Depth32Bit;
|
---|
83 | this.imageListForRemoteItems.ImageSize = new System.Drawing.Size(13, 13);
|
---|
84 | this.imageListForRemoteItems.TransparentColor = System.Drawing.Color.Transparent;
|
---|
85 | //
|
---|
86 | // RemotePluginInstaller
|
---|
87 | //
|
---|
88 | this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
---|
89 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
|
---|
90 | this.Controls.Add(this.remotePluginsListView);
|
---|
91 | this.Name = "RemotePluginInstaller";
|
---|
92 | this.Size = new System.Drawing.Size(533, 558);
|
---|
93 | this.ResumeLayout(false);
|
---|
94 |
|
---|
95 | }
|
---|
96 |
|
---|
97 | #endregion
|
---|
98 |
|
---|
99 | private System.Windows.Forms.ListView remotePluginsListView;
|
---|
100 | private System.Windows.Forms.ColumnHeader columnHeader1;
|
---|
101 | private System.Windows.Forms.ColumnHeader columnHeader2;
|
---|
102 | private System.Windows.Forms.ColumnHeader columnHeader3;
|
---|
103 | private System.Windows.Forms.ImageList imageListForRemoteItems;
|
---|
104 | }
|
---|
105 | }
|
---|