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("Products", System.Windows.Forms.HorizontalAlignment.Left);
|
---|
28 | System.Windows.Forms.ListViewGroup listViewGroup2 = new System.Windows.Forms.ListViewGroup("New Plugins", System.Windows.Forms.HorizontalAlignment.Left);
|
---|
29 | System.Windows.Forms.ListViewGroup listViewGroup3 = new System.Windows.Forms.ListViewGroup("All Plugins", System.Windows.Forms.HorizontalAlignment.Left);
|
---|
30 | this.imageListForRemoteItems = new System.Windows.Forms.ImageList(this.components);
|
---|
31 | this.remotePluginsListView = new HeuristicLab.PluginInfrastructure.Advanced.MultiSelectListView();
|
---|
32 | this.nameHeader = new System.Windows.Forms.ColumnHeader();
|
---|
33 | this.versionHeader = new System.Windows.Forms.ColumnHeader();
|
---|
34 | this.descriptionHeader = new System.Windows.Forms.ColumnHeader();
|
---|
35 | this.SuspendLayout();
|
---|
36 | //
|
---|
37 | // imageListForRemoteItems
|
---|
38 | //
|
---|
39 | this.imageListForRemoteItems.ColorDepth = System.Windows.Forms.ColorDepth.Depth32Bit;
|
---|
40 | this.imageListForRemoteItems.ImageSize = new System.Drawing.Size(13, 13);
|
---|
41 | this.imageListForRemoteItems.TransparentColor = System.Drawing.Color.Transparent;
|
---|
42 | //
|
---|
43 | // remotePluginsListView
|
---|
44 | //
|
---|
45 | this.remotePluginsListView.CheckBoxes = true;
|
---|
46 | this.remotePluginsListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
|
---|
47 | this.nameHeader,
|
---|
48 | this.versionHeader,
|
---|
49 | this.descriptionHeader});
|
---|
50 | this.remotePluginsListView.Dock = System.Windows.Forms.DockStyle.Fill;
|
---|
51 | listViewGroup1.Header = "Products";
|
---|
52 | listViewGroup1.Name = "productsGroup";
|
---|
53 | listViewGroup2.Header = "New Plugins";
|
---|
54 | listViewGroup2.Name = "newPluginsGroup";
|
---|
55 | listViewGroup3.Header = "All Plugins";
|
---|
56 | listViewGroup3.Name = "allPluginsGroup";
|
---|
57 | this.remotePluginsListView.Groups.AddRange(new System.Windows.Forms.ListViewGroup[] {
|
---|
58 | listViewGroup1,
|
---|
59 | listViewGroup2,
|
---|
60 | listViewGroup3});
|
---|
61 | this.remotePluginsListView.Location = new System.Drawing.Point(0, 0);
|
---|
62 | this.remotePluginsListView.Name = "remotePluginsListView";
|
---|
63 | this.remotePluginsListView.Size = new System.Drawing.Size(533, 558);
|
---|
64 | this.remotePluginsListView.StateImageList = this.imageListForRemoteItems;
|
---|
65 | this.remotePluginsListView.SuppressItemCheckedEvents = false;
|
---|
66 | this.remotePluginsListView.TabIndex = 0;
|
---|
67 | this.remotePluginsListView.UseCompatibleStateImageBehavior = false;
|
---|
68 | this.remotePluginsListView.View = System.Windows.Forms.View.Details;
|
---|
69 | this.remotePluginsListView.ItemChecked += new System.Windows.Forms.ItemCheckedEventHandler(this.remotePluginsListView_ItemChecked);
|
---|
70 | //
|
---|
71 | // nameHeader
|
---|
72 | //
|
---|
73 | this.nameHeader.Text = "Name";
|
---|
74 | this.nameHeader.Width = 185;
|
---|
75 | //
|
---|
76 | // versionHeader
|
---|
77 | //
|
---|
78 | this.versionHeader.Text = "Version";
|
---|
79 | this.versionHeader.Width = 93;
|
---|
80 | //
|
---|
81 | // descriptionHeader
|
---|
82 | //
|
---|
83 | this.descriptionHeader.Text = "Description";
|
---|
84 | this.descriptionHeader.Width = 250;
|
---|
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.ImageList imageListForRemoteItems;
|
---|
100 | private MultiSelectListView remotePluginsListView;
|
---|
101 | private System.Windows.Forms.ColumnHeader nameHeader;
|
---|
102 | private System.Windows.Forms.ColumnHeader versionHeader;
|
---|
103 | private System.Windows.Forms.ColumnHeader descriptionHeader;
|
---|
104 | }
|
---|
105 | }
|
---|