Ignore:
Timestamp:
11/23/15 11:32:22 (6 years ago)
Author:
gkronber
Message:

#2522: removed classes for plugin uploading and updating

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/RefactorPluginInfrastructure-2522/HeuristicLab.PluginInfrastructure/3.3/Advanced/InstallationManagerForm.Designer.cs

    r12012 r13333  
    5151      this.localPluginsTabPage = new System.Windows.Forms.TabPage();
    5252      this.localPluginsView = new HeuristicLab.PluginInfrastructure.Advanced.InstalledPluginsView();
    53       this.availablePluginsTabPage = new System.Windows.Forms.TabPage();
    54       this.remotePluginInstaller = new HeuristicLab.PluginInfrastructure.Advanced.AvailablePluginsView();
    55       this.uploadPluginsTabPage = new System.Windows.Forms.TabPage();
    56       this.pluginEditor = new HeuristicLab.PluginInfrastructure.Advanced.UploadPluginsView();
    57       this.manageProductsTabPage = new System.Windows.Forms.TabPage();
    58       this.productEditor = new HeuristicLab.PluginInfrastructure.Advanced.EditProductsView();
    5953      this.logTabPage = new System.Windows.Forms.TabPage();
    6054      this.logTextBox = new System.Windows.Forms.TextBox();
    61       this.menuStrip = new System.Windows.Forms.MenuStrip();
    62       this.optionsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    63       this.connectionSettingsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    6455      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
    6556      this.statusStrip.SuspendLayout();
    6657      this.tabControl.SuspendLayout();
    6758      this.localPluginsTabPage.SuspendLayout();
    68       this.availablePluginsTabPage.SuspendLayout();
    69       this.uploadPluginsTabPage.SuspendLayout();
    70       this.manageProductsTabPage.SuspendLayout();
    7159      this.logTabPage.SuspendLayout();
    72       this.menuStrip.SuspendLayout();
    7360      this.SuspendLayout();
    7461      //
     
    10289                  | System.Windows.Forms.AnchorStyles.Right)));
    10390      this.tabControl.Controls.Add(this.localPluginsTabPage);
    104       this.tabControl.Controls.Add(this.availablePluginsTabPage);
    105       this.tabControl.Controls.Add(this.uploadPluginsTabPage);
    106       this.tabControl.Controls.Add(this.manageProductsTabPage);
    10791      this.tabControl.Controls.Add(this.logTabPage);
    10892      this.tabControl.Location = new System.Drawing.Point(12, 27);
     
    130114                  | System.Windows.Forms.AnchorStyles.Left)
    131115                  | System.Windows.Forms.AnchorStyles.Right)));
    132       this.localPluginsView.InstallationManager = null;
     116//       this.localPluginsView.InstallationManager = null;
    133117      this.localPluginsView.Location = new System.Drawing.Point(6, 6);
    134118      this.localPluginsView.Name = "localPluginsView";
     
    137121      this.localPluginsView.StatusView = null;
    138122      this.localPluginsView.TabIndex = 0;
    139       //
    140       // availablePluginsTabPage
    141       //
    142       this.availablePluginsTabPage.Controls.Add(this.remotePluginInstaller);
    143       this.availablePluginsTabPage.Location = new System.Drawing.Point(4, 22);
    144       this.availablePluginsTabPage.Name = "availablePluginsTabPage";
    145       this.availablePluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
    146       this.availablePluginsTabPage.Size = new System.Drawing.Size(590, 366);
    147       this.availablePluginsTabPage.TabIndex = 1;
    148       this.availablePluginsTabPage.Text = "Available Plugins";
    149       this.toolTip.SetToolTip(this.availablePluginsTabPage, "Download and install new plugins");
    150       this.availablePluginsTabPage.UseVisualStyleBackColor = true;
    151       //
    152       // remotePluginInstaller
    153       //
    154       this.remotePluginInstaller.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    155                   | System.Windows.Forms.AnchorStyles.Left)
    156                   | System.Windows.Forms.AnchorStyles.Right)));
    157       this.remotePluginInstaller.InstallationManager = null;
    158       this.remotePluginInstaller.Location = new System.Drawing.Point(6, 6);
    159       this.remotePluginInstaller.Name = "remotePluginInstaller";
    160       this.remotePluginInstaller.PluginManager = null;
    161       this.remotePluginInstaller.Size = new System.Drawing.Size(578, 354);
    162       this.remotePluginInstaller.StatusView = null;
    163       this.remotePluginInstaller.TabIndex = 14;
    164       //
    165       // uploadPluginsTabPage
    166       //
    167       this.uploadPluginsTabPage.Controls.Add(this.pluginEditor);
    168       this.uploadPluginsTabPage.Location = new System.Drawing.Point(4, 22);
    169       this.uploadPluginsTabPage.Name = "uploadPluginsTabPage";
    170       this.uploadPluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
    171       this.uploadPluginsTabPage.Size = new System.Drawing.Size(590, 366);
    172       this.uploadPluginsTabPage.TabIndex = 3;
    173       this.uploadPluginsTabPage.Text = "Upload Plugins";
    174       this.toolTip.SetToolTip(this.uploadPluginsTabPage, "Upload plugins");
    175       this.uploadPluginsTabPage.UseVisualStyleBackColor = true;
    176       //
    177       // pluginEditor
    178       //
    179       this.pluginEditor.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    180                   | System.Windows.Forms.AnchorStyles.Left)
    181                   | System.Windows.Forms.AnchorStyles.Right)));
    182       this.pluginEditor.Location = new System.Drawing.Point(6, 6);
    183       this.pluginEditor.Name = "pluginEditor";
    184       this.pluginEditor.PluginManager = null;
    185       this.pluginEditor.Size = new System.Drawing.Size(578, 354);
    186       this.pluginEditor.StatusView = null;
    187       this.pluginEditor.TabIndex = 0;
    188       //
    189       // manageProductsTabPage
    190       //
    191       this.manageProductsTabPage.Controls.Add(this.productEditor);
    192       this.manageProductsTabPage.Location = new System.Drawing.Point(4, 22);
    193       this.manageProductsTabPage.Name = "manageProductsTabPage";
    194       this.manageProductsTabPage.Padding = new System.Windows.Forms.Padding(3);
    195       this.manageProductsTabPage.Size = new System.Drawing.Size(590, 366);
    196       this.manageProductsTabPage.TabIndex = 4;
    197       this.manageProductsTabPage.Text = "Manage Products";
    198       this.toolTip.SetToolTip(this.manageProductsTabPage, "Create and manage products");
    199       this.manageProductsTabPage.UseVisualStyleBackColor = true;
    200       //
    201       // productEditor
    202       //
    203       this.productEditor.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    204                   | System.Windows.Forms.AnchorStyles.Left)
    205                   | System.Windows.Forms.AnchorStyles.Right)));
    206       this.productEditor.Location = new System.Drawing.Point(6, 6);
    207       this.productEditor.Name = "productEditor";
    208       this.productEditor.Size = new System.Drawing.Size(578, 354);
    209       this.productEditor.StatusView = null;
    210       this.productEditor.TabIndex = 0;
    211123      //
    212124      // logTabPage
     
    234146      this.logTextBox.TabIndex = 0;
    235147      //
    236       // menuStrip
    237       //
    238       this.menuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
    239             this.optionsToolStripMenuItem});
    240       this.menuStrip.Location = new System.Drawing.Point(0, 0);
    241       this.menuStrip.Name = "menuStrip";
    242       this.menuStrip.Size = new System.Drawing.Size(622, 24);
    243       this.menuStrip.TabIndex = 17;
    244       this.menuStrip.Text = "menuStrip1";
    245       //
    246       // optionsToolStripMenuItem
    247       //
    248       this.optionsToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
    249             this.connectionSettingsToolStripMenuItem});
    250       this.optionsToolStripMenuItem.Name = "optionsToolStripMenuItem";
    251       this.optionsToolStripMenuItem.Size = new System.Drawing.Size(61, 20);
    252       this.optionsToolStripMenuItem.Text = "Options";
    253       //
    254       // connectionSettingsToolStripMenuItem
    255       //
    256       this.connectionSettingsToolStripMenuItem.Image = global::HeuristicLab.PluginInfrastructure.Resources.NetworkConnections;
    257       this.connectionSettingsToolStripMenuItem.Name = "connectionSettingsToolStripMenuItem";
    258       this.connectionSettingsToolStripMenuItem.Size = new System.Drawing.Size(190, 22);
    259       this.connectionSettingsToolStripMenuItem.Text = "Connection Settings...";
    260       this.connectionSettingsToolStripMenuItem.Click += new System.EventHandler(this.connectionSettingsToolStripMenuItem_Click);
    261       //
    262148      // InstallationManagerForm
    263149      //
     
    267153      this.Controls.Add(this.tabControl);
    268154      this.Controls.Add(this.statusStrip);
    269       this.Controls.Add(this.menuStrip);
    270155      this.Icon = global::HeuristicLab.PluginInfrastructure.Resources.HeuristicLab;
    271       this.MainMenuStrip = this.menuStrip;
    272156      this.Name = "InstallationManagerForm";
    273157      this.Text = "Plugin Manager";
     
    276160      this.tabControl.ResumeLayout(false);
    277161      this.localPluginsTabPage.ResumeLayout(false);
    278       this.availablePluginsTabPage.ResumeLayout(false);
    279       this.uploadPluginsTabPage.ResumeLayout(false);
    280       this.manageProductsTabPage.ResumeLayout(false);
    281162      this.logTabPage.ResumeLayout(false);
    282163      this.logTabPage.PerformLayout();
    283       this.menuStrip.ResumeLayout(false);
    284       this.menuStrip.PerformLayout();
    285164      this.ResumeLayout(false);
    286165      this.PerformLayout();
     
    293172    private System.Windows.Forms.ToolStripProgressBar toolStripProgressBar;
    294173    private System.Windows.Forms.ToolStripStatusLabel toolStripStatusLabel;
    295     private AvailablePluginsView remotePluginInstaller;
    296174    private System.Windows.Forms.TabControl tabControl;
    297175    private System.Windows.Forms.TabPage localPluginsTabPage;
    298     private System.Windows.Forms.TabPage availablePluginsTabPage;
    299176    private System.Windows.Forms.TabPage logTabPage;
    300177    private System.Windows.Forms.TextBox logTextBox;
    301     private System.Windows.Forms.MenuStrip menuStrip;
    302     private System.Windows.Forms.ToolStripMenuItem optionsToolStripMenuItem;
    303     private System.Windows.Forms.ToolStripMenuItem connectionSettingsToolStripMenuItem;
    304     private System.Windows.Forms.TabPage uploadPluginsTabPage;
    305     private System.Windows.Forms.TabPage manageProductsTabPage;
    306     private UploadPluginsView pluginEditor;
    307     private EditProductsView productEditor;
    308178    private InstalledPluginsView localPluginsView;
    309179    private System.Windows.Forms.ToolTip toolTip;
Note: See TracChangeset for help on using the changeset viewer.