Changeset 13333 for branches/RefactorPluginInfrastructure-2522/HeuristicLab.PluginInfrastructure/3.3/Advanced/InstallationManagerForm.Designer.cs

Timestamp:

11/23/15 11:32:22 (9 years ago)

Author:

gkronber

Message:

#2522: removed classes for plugin uploading and updating

File:

• branches/RefactorPluginInfrastructure-2522/HeuristicLab.PluginInfrastructure/3.3/Advanced/InstallationManagerForm.Designer.cs (modified) (8 diffs)

branches/RefactorPluginInfrastructure-2522/HeuristicLab.PluginInfrastructure/3.3/Advanced/InstallationManagerForm.Designer.cs

@@ -51 +51 @@
       this.localPluginsTabPage = new System.Windows.Forms.TabPage();
       this.localPluginsView = new HeuristicLab.PluginInfrastructure.Advanced.InstalledPluginsView();
-      this.availablePluginsTabPage = new System.Windows.Forms.TabPage();
-      this.remotePluginInstaller = new HeuristicLab.PluginInfrastructure.Advanced.AvailablePluginsView();
-      this.uploadPluginsTabPage = new System.Windows.Forms.TabPage();
-      this.pluginEditor = new HeuristicLab.PluginInfrastructure.Advanced.UploadPluginsView();
-      this.manageProductsTabPage = new System.Windows.Forms.TabPage();
-      this.productEditor = new HeuristicLab.PluginInfrastructure.Advanced.EditProductsView();
       this.logTabPage = new System.Windows.Forms.TabPage();
       this.logTextBox = new System.Windows.Forms.TextBox();
-      this.menuStrip = new System.Windows.Forms.MenuStrip();
-      this.optionsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
-      this.connectionSettingsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
       this.toolTip = new System.Windows.Forms.ToolTip(this.components);
       this.statusStrip.SuspendLayout();
       this.tabControl.SuspendLayout();
       this.localPluginsTabPage.SuspendLayout();
-      this.availablePluginsTabPage.SuspendLayout();
-      this.uploadPluginsTabPage.SuspendLayout();
-      this.manageProductsTabPage.SuspendLayout();
       this.logTabPage.SuspendLayout();
-      this.menuStrip.SuspendLayout();
       this.SuspendLayout();
       // 
@@ -102 +89 @@
                   | System.Windows.Forms.AnchorStyles.Right)));
       this.tabControl.Controls.Add(this.localPluginsTabPage);
-      this.tabControl.Controls.Add(this.availablePluginsTabPage);
-      this.tabControl.Controls.Add(this.uploadPluginsTabPage);
-      this.tabControl.Controls.Add(this.manageProductsTabPage);
       this.tabControl.Controls.Add(this.logTabPage);
       this.tabControl.Location = new System.Drawing.Point(12, 27);
@@ -130 +114 @@
                   | System.Windows.Forms.AnchorStyles.Left)
                   | System.Windows.Forms.AnchorStyles.Right)));
-      this.localPluginsView.InstallationManager = null;
+//       this.localPluginsView.InstallationManager = null;
       this.localPluginsView.Location = new System.Drawing.Point(6, 6);
       this.localPluginsView.Name = "localPluginsView";
@@ -137 +121 @@
       this.localPluginsView.StatusView = null;
       this.localPluginsView.TabIndex = 0;
-      // 
-      // availablePluginsTabPage
-      // 
-      this.availablePluginsTabPage.Controls.Add(this.remotePluginInstaller);
-      this.availablePluginsTabPage.Location = new System.Drawing.Point(4, 22);
-      this.availablePluginsTabPage.Name = "availablePluginsTabPage";
-      this.availablePluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
-      this.availablePluginsTabPage.Size = new System.Drawing.Size(590, 366);
-      this.availablePluginsTabPage.TabIndex = 1;
-      this.availablePluginsTabPage.Text = "Available Plugins";
-      this.toolTip.SetToolTip(this.availablePluginsTabPage, "Download and install new plugins");
-      this.availablePluginsTabPage.UseVisualStyleBackColor = true;
-      // 
-      // remotePluginInstaller
-      // 
-      this.remotePluginInstaller.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
-                  | System.Windows.Forms.AnchorStyles.Left)
-                  | System.Windows.Forms.AnchorStyles.Right)));
-      this.remotePluginInstaller.InstallationManager = null;
-      this.remotePluginInstaller.Location = new System.Drawing.Point(6, 6);
-      this.remotePluginInstaller.Name = "remotePluginInstaller";
-      this.remotePluginInstaller.PluginManager = null;
-      this.remotePluginInstaller.Size = new System.Drawing.Size(578, 354);
-      this.remotePluginInstaller.StatusView = null;
-      this.remotePluginInstaller.TabIndex = 14;
-      // 
-      // uploadPluginsTabPage
-      // 
-      this.uploadPluginsTabPage.Controls.Add(this.pluginEditor);
-      this.uploadPluginsTabPage.Location = new System.Drawing.Point(4, 22);
-      this.uploadPluginsTabPage.Name = "uploadPluginsTabPage";
-      this.uploadPluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
-      this.uploadPluginsTabPage.Size = new System.Drawing.Size(590, 366);
-      this.uploadPluginsTabPage.TabIndex = 3;
-      this.uploadPluginsTabPage.Text = "Upload Plugins";
-      this.toolTip.SetToolTip(this.uploadPluginsTabPage, "Upload plugins");
-      this.uploadPluginsTabPage.UseVisualStyleBackColor = true;
-      // 
-      // pluginEditor
-      // 
-      this.pluginEditor.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
-                  | System.Windows.Forms.AnchorStyles.Left)
-                  | System.Windows.Forms.AnchorStyles.Right)));
-      this.pluginEditor.Location = new System.Drawing.Point(6, 6);
-      this.pluginEditor.Name = "pluginEditor";
-      this.pluginEditor.PluginManager = null;
-      this.pluginEditor.Size = new System.Drawing.Size(578, 354);
-      this.pluginEditor.StatusView = null;
-      this.pluginEditor.TabIndex = 0;
-      // 
-      // manageProductsTabPage
-      // 
-      this.manageProductsTabPage.Controls.Add(this.productEditor);
-      this.manageProductsTabPage.Location = new System.Drawing.Point(4, 22);
-      this.manageProductsTabPage.Name = "manageProductsTabPage";
-      this.manageProductsTabPage.Padding = new System.Windows.Forms.Padding(3);
-      this.manageProductsTabPage.Size = new System.Drawing.Size(590, 366);
-      this.manageProductsTabPage.TabIndex = 4;
-      this.manageProductsTabPage.Text = "Manage Products";
-      this.toolTip.SetToolTip(this.manageProductsTabPage, "Create and manage products");
-      this.manageProductsTabPage.UseVisualStyleBackColor = true;
-      // 
-      // productEditor
-      // 
-      this.productEditor.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
-                  | System.Windows.Forms.AnchorStyles.Left)
-                  | System.Windows.Forms.AnchorStyles.Right)));
-      this.productEditor.Location = new System.Drawing.Point(6, 6);
-      this.productEditor.Name = "productEditor";
-      this.productEditor.Size = new System.Drawing.Size(578, 354);
-      this.productEditor.StatusView = null;
-      this.productEditor.TabIndex = 0;
       // 
       // logTabPage
@@ -234 +146 @@
       this.logTextBox.TabIndex = 0;
       // 
-      // menuStrip
-      // 
-      this.menuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
-            this.optionsToolStripMenuItem});
-      this.menuStrip.Location = new System.Drawing.Point(0, 0);
-      this.menuStrip.Name = "menuStrip";
-      this.menuStrip.Size = new System.Drawing.Size(622, 24);
-      this.menuStrip.TabIndex = 17;
-      this.menuStrip.Text = "menuStrip1";
-      // 
-      // optionsToolStripMenuItem
-      // 
-      this.optionsToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
-            this.connectionSettingsToolStripMenuItem});
-      this.optionsToolStripMenuItem.Name = "optionsToolStripMenuItem";
-      this.optionsToolStripMenuItem.Size = new System.Drawing.Size(61, 20);
-      this.optionsToolStripMenuItem.Text = "Options";
-      // 
-      // connectionSettingsToolStripMenuItem
-      // 
-      this.connectionSettingsToolStripMenuItem.Image = global::HeuristicLab.PluginInfrastructure.Resources.NetworkConnections;
-      this.connectionSettingsToolStripMenuItem.Name = "connectionSettingsToolStripMenuItem";
-      this.connectionSettingsToolStripMenuItem.Size = new System.Drawing.Size(190, 22);
-      this.connectionSettingsToolStripMenuItem.Text = "Connection Settings...";
-      this.connectionSettingsToolStripMenuItem.Click += new System.EventHandler(this.connectionSettingsToolStripMenuItem_Click);
-      // 
       // InstallationManagerForm
       // 
@@ -267 +153 @@
       this.Controls.Add(this.tabControl);
       this.Controls.Add(this.statusStrip);
-      this.Controls.Add(this.menuStrip);
       this.Icon = global::HeuristicLab.PluginInfrastructure.Resources.HeuristicLab;
-      this.MainMenuStrip = this.menuStrip;
       this.Name = "InstallationManagerForm";
       this.Text = "Plugin Manager";
@@ -276 +160 @@
       this.tabControl.ResumeLayout(false);
       this.localPluginsTabPage.ResumeLayout(false);
-      this.availablePluginsTabPage.ResumeLayout(false);
-      this.uploadPluginsTabPage.ResumeLayout(false);
-      this.manageProductsTabPage.ResumeLayout(false);
       this.logTabPage.ResumeLayout(false);
       this.logTabPage.PerformLayout();
-      this.menuStrip.ResumeLayout(false);
-      this.menuStrip.PerformLayout();
       this.ResumeLayout(false);
       this.PerformLayout();
@@ -293 +172 @@
     private System.Windows.Forms.ToolStripProgressBar toolStripProgressBar;
     private System.Windows.Forms.ToolStripStatusLabel toolStripStatusLabel;
-    private AvailablePluginsView remotePluginInstaller;
     private System.Windows.Forms.TabControl tabControl;
     private System.Windows.Forms.TabPage localPluginsTabPage;
-    private System.Windows.Forms.TabPage availablePluginsTabPage;
     private System.Windows.Forms.TabPage logTabPage;
     private System.Windows.Forms.TextBox logTextBox;
-    private System.Windows.Forms.MenuStrip menuStrip;
-    private System.Windows.Forms.ToolStripMenuItem optionsToolStripMenuItem;
-    private System.Windows.Forms.ToolStripMenuItem connectionSettingsToolStripMenuItem;
-    private System.Windows.Forms.TabPage uploadPluginsTabPage;
-    private System.Windows.Forms.TabPage manageProductsTabPage;
-    private UploadPluginsView pluginEditor;
-    private EditProductsView productEditor;
     private InstalledPluginsView localPluginsView;
     private System.Windows.Forms.ToolTip toolTip;