source: branches/RefactorPluginInfrastructure-2522/HeuristicLab.PluginInfrastructure/3.3/Advanced/InstallationManagerForm.Designer.cs @ 13335

Last change on this file since 13335 was 13335, checked in by gkronber, 4 years ago

#2522: removed IStatusDisplay and PluginInfrastructureCancelEventArgs

File size: 8.2 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2015 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 InstallationManagerForm {
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 Windows Form 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      this.statusStrip = new System.Windows.Forms.StatusStrip();
48      this.toolStripProgressBar = new System.Windows.Forms.ToolStripProgressBar();
49      this.toolStripStatusLabel = new System.Windows.Forms.ToolStripStatusLabel();
50      this.tabControl = new System.Windows.Forms.TabControl();
51      this.localPluginsTabPage = new System.Windows.Forms.TabPage();
52      this.localPluginsView = new HeuristicLab.PluginInfrastructure.Advanced.InstalledPluginsView();
53      this.logTabPage = new System.Windows.Forms.TabPage();
54      this.logTextBox = new System.Windows.Forms.TextBox();
55      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
56      this.statusStrip.SuspendLayout();
57      this.tabControl.SuspendLayout();
58      this.localPluginsTabPage.SuspendLayout();
59      this.logTabPage.SuspendLayout();
60      this.SuspendLayout();
61      //
62      // statusStrip
63      //
64      this.statusStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
65            this.toolStripProgressBar,
66            this.toolStripStatusLabel});
67      this.statusStrip.Location = new System.Drawing.Point(0, 422);
68      this.statusStrip.Name = "statusStrip";
69      this.statusStrip.Size = new System.Drawing.Size(622, 22);
70      this.statusStrip.TabIndex = 0;
71      //
72      // toolStripProgressBar
73      //
74      this.toolStripProgressBar.MarqueeAnimationSpeed = 30;
75      this.toolStripProgressBar.Name = "toolStripProgressBar";
76      this.toolStripProgressBar.Size = new System.Drawing.Size(100, 16);
77      this.toolStripProgressBar.Style = System.Windows.Forms.ProgressBarStyle.Marquee;
78      this.toolStripProgressBar.Visible = false;
79      //
80      // toolStripStatusLabel
81      //
82      this.toolStripStatusLabel.Name = "toolStripStatusLabel";
83      this.toolStripStatusLabel.Size = new System.Drawing.Size(0, 17);
84      //
85      // tabControl
86      //
87      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
88                  | System.Windows.Forms.AnchorStyles.Left)
89                  | System.Windows.Forms.AnchorStyles.Right)));
90      this.tabControl.Controls.Add(this.localPluginsTabPage);
91      this.tabControl.Controls.Add(this.logTabPage);
92      this.tabControl.Location = new System.Drawing.Point(12, 27);
93      this.tabControl.Name = "tabControl";
94      this.tabControl.SelectedIndex = 0;
95      this.tabControl.Size = new System.Drawing.Size(598, 392);
96      this.tabControl.TabIndex = 16;
97      this.tabControl.SelectedIndexChanged += new System.EventHandler(this.tabControl_SelectedIndexChanged);
98      //
99      // localPluginsTabPage
100      //
101      this.localPluginsTabPage.Controls.Add(this.localPluginsView);
102      this.localPluginsTabPage.Location = new System.Drawing.Point(4, 22);
103      this.localPluginsTabPage.Name = "localPluginsTabPage";
104      this.localPluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
105      this.localPluginsTabPage.Size = new System.Drawing.Size(590, 366);
106      this.localPluginsTabPage.TabIndex = 0;
107      this.localPluginsTabPage.Text = "Installed Plugins";
108      this.toolTip.SetToolTip(this.localPluginsTabPage, "Delete or update installed plugins");
109      this.localPluginsTabPage.UseVisualStyleBackColor = true;
110      //
111      // localPluginsView
112      //
113      this.localPluginsView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
114                  | System.Windows.Forms.AnchorStyles.Left)
115                  | System.Windows.Forms.AnchorStyles.Right)));
116//       this.localPluginsView.InstallationManager = null;
117      this.localPluginsView.Location = new System.Drawing.Point(6, 6);
118      this.localPluginsView.Name = "localPluginsView";
119      this.localPluginsView.PluginManager = null;
120      this.localPluginsView.Size = new System.Drawing.Size(578, 354);
121      this.localPluginsView.TabIndex = 0;
122      //
123      // logTabPage
124      //
125      this.logTabPage.Controls.Add(this.logTextBox);
126      this.logTabPage.Location = new System.Drawing.Point(4, 22);
127      this.logTabPage.Name = "logTabPage";
128      this.logTabPage.Size = new System.Drawing.Size(590, 366);
129      this.logTabPage.TabIndex = 2;
130      this.logTabPage.Text = "Log";
131      this.toolTip.SetToolTip(this.logTabPage, "Show Log Messages");
132      this.logTabPage.UseVisualStyleBackColor = true;
133      //
134      // logTextBox
135      //
136      this.logTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
137                  | System.Windows.Forms.AnchorStyles.Left)
138                  | System.Windows.Forms.AnchorStyles.Right)));
139      this.logTextBox.Location = new System.Drawing.Point(3, 3);
140      this.logTextBox.Multiline = true;
141      this.logTextBox.Name = "logTextBox";
142      this.logTextBox.ReadOnly = true;
143      this.logTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
144      this.logTextBox.Size = new System.Drawing.Size(584, 360);
145      this.logTextBox.TabIndex = 0;
146      //
147      // InstallationManagerForm
148      //
149      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
150      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
151      this.ClientSize = new System.Drawing.Size(622, 444);
152      this.Controls.Add(this.tabControl);
153      this.Controls.Add(this.statusStrip);
154      this.Icon = global::HeuristicLab.PluginInfrastructure.Resources.HeuristicLab;
155      this.Name = "InstallationManagerForm";
156      this.Text = "Plugin Manager";
157      this.statusStrip.ResumeLayout(false);
158      this.statusStrip.PerformLayout();
159      this.tabControl.ResumeLayout(false);
160      this.localPluginsTabPage.ResumeLayout(false);
161      this.logTabPage.ResumeLayout(false);
162      this.logTabPage.PerformLayout();
163      this.ResumeLayout(false);
164      this.PerformLayout();
165
166    }
167
168    #endregion
169
170    private System.Windows.Forms.StatusStrip statusStrip;
171    private System.Windows.Forms.ToolStripProgressBar toolStripProgressBar;
172    private System.Windows.Forms.ToolStripStatusLabel toolStripStatusLabel;
173    private System.Windows.Forms.TabControl tabControl;
174    private System.Windows.Forms.TabPage localPluginsTabPage;
175    private System.Windows.Forms.TabPage logTabPage;
176    private System.Windows.Forms.TextBox logTextBox;
177    private InstalledPluginsView localPluginsView;
178    private System.Windows.Forms.ToolTip toolTip;
179  }
180}
Note: See TracBrowser for help on using the repository browser.