Changeset 3573 for trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/InstallationManagerForm.Designer.cs

Timestamp:

04/30/10 15:13:48 (14 years ago)

Author:

gkronber

Message:

Implemented a list of review comments by swagner. #989 (Implement review comments in plugin infrastructure)

File:

• trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/InstallationManagerForm.Designer.cs (modified) (11 diffs)

trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/InstallationManagerForm.Designer.cs

@@ -44 +44 @@
     /// </summary>
     private void InitializeComponent() {
+      this.components = new System.ComponentModel.Container();
       System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(InstallationManagerForm));
       this.statusStrip = new System.Windows.Forms.StatusStrip();
@@ -67 +68 @@
       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();
@@ -128 +130 @@
       this.updateAllPluginsTabPage.TabIndex = 5;
       this.updateAllPluginsTabPage.Text = "Update Plugins";
+      this.toolTip.SetToolTip(this.updateAllPluginsTabPage, "Update all installed plugins");
       this.updateAllPluginsTabPage.UseVisualStyleBackColor = true;
       // 
@@ -152 +155 @@
       this.localPluginsTabPage.TabIndex = 0;
       this.localPluginsTabPage.Text = "Installed Plugins";
+      this.toolTip.SetToolTip(this.localPluginsTabPage, "Delete or update installed plugins");
       this.localPluginsTabPage.UseVisualStyleBackColor = true;
       // 
@@ -176 +180 @@
       this.availablePluginsTabPage.TabIndex = 1;
       this.availablePluginsTabPage.Text = "Available Plugins";
+      this.toolTip.SetToolTip(this.availablePluginsTabPage, "Download and install new plugins");
       this.availablePluginsTabPage.UseVisualStyleBackColor = true;
       // 
@@ -184 +189 @@
                   | 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.NewPlugins = new HeuristicLab.PluginInfrastructure.IPluginDescription[0];
+      this.remotePluginInstaller.PluginManager = null;
       this.remotePluginInstaller.Products = new HeuristicLab.PluginInfrastructure.Advanced.DeploymentService.ProductDescription[0];
       this.remotePluginInstaller.ShowAllPlugins = false;
       this.remotePluginInstaller.Size = new System.Drawing.Size(578, 354);
+      this.remotePluginInstaller.StatusView = null;
       this.remotePluginInstaller.TabIndex = 14;
       // 
@@ -201 +209 @@
       this.uploadPluginsTabPage.TabIndex = 3;
       this.uploadPluginsTabPage.Text = "Upload Plugins";
+      this.toolTip.SetToolTip(this.uploadPluginsTabPage, "Upload plugins");
       this.uploadPluginsTabPage.UseVisualStyleBackColor = true;
       // 
@@ -223 +232 @@
       this.manageProductsTabPage.TabIndex = 4;
       this.manageProductsTabPage.Text = "Manage Products";
+      this.toolTip.SetToolTip(this.manageProductsTabPage, "Create and manage products");
       this.manageProductsTabPage.UseVisualStyleBackColor = true;
       // 
@@ -243 +253 @@
       this.logTabPage.TabIndex = 2;
       this.logTabPage.Text = "Log";
+      this.toolTip.SetToolTip(this.logTabPage, "Show Log Messages");
       this.logTabPage.UseVisualStyleBackColor = true;
       // 
@@ -274 +285 @@
             this.simpleToolStripMenuItem,
             this.advancedToolStripMenuItem});
-      this.viewToolStripMenuItem.Enabled = false;
       this.viewToolStripMenuItem.Name = "viewToolStripMenuItem";
       this.viewToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
       this.viewToolStripMenuItem.Text = "View";
+      this.viewToolStripMenuItem.Visible = false;
       // 
       // simpleToolStripMenuItem
@@ -366 +377 @@
     private System.Windows.Forms.TabPage updateAllPluginsTabPage;
     private BasicUpdateView basicUpdateView;
+    private System.Windows.Forms.ToolTip toolTip;
   }
 }