Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
03/03/10 18:08:26 (15 years ago)
Author:
gkronber
Message:

Worked on GUI for plugin management. #891 (Refactor GUI for plugin management)

File:
1 edited

Legend:

Unmodified
Added
Removed

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

    r2753 r2922  
    2525    private void InitializeComponent() {
    2626      this.statusStrip = new System.Windows.Forms.StatusStrip();
    27       this.tableLayoutPanel = new System.Windows.Forms.TableLayoutPanel();
    28       this.detailsTextBox = new System.Windows.Forms.TextBox();
    29       this.pluginsListView = new System.Windows.Forms.ListView();
    30       this.tableLayoutPanel.SuspendLayout();
     27      this.toolStripProgressBar = new System.Windows.Forms.ToolStripProgressBar();
     28      this.toolStripStatusLabel = new System.Windows.Forms.ToolStripStatusLabel();
     29      this.removeButton = new System.Windows.Forms.Button();
     30      this.serverUrlLabel = new System.Windows.Forms.Label();
     31      this.serverUrlTextBox = new System.Windows.Forms.TextBox();
     32      this.refreshButton = new System.Windows.Forms.Button();
     33      this.installButton = new System.Windows.Forms.Button();
     34      this.tabControl = new System.Windows.Forms.TabControl();
     35      this.localPluginsTabPage = new System.Windows.Forms.TabPage();
     36      this.localPluginManager = new HeuristicLab.PluginInfrastructure.Advanced.LocalPluginManager();
     37      this.remotePluginsTabPage = new System.Windows.Forms.TabPage();
     38      this.remotePluginInstaller = new HeuristicLab.PluginInfrastructure.Advanced.RemotePluginInstaller();
     39      this.logTabPage = new System.Windows.Forms.TabPage();
     40      this.logTextBox = new System.Windows.Forms.TextBox();
     41      this.statusStrip.SuspendLayout();
     42      this.tabControl.SuspendLayout();
     43      this.localPluginsTabPage.SuspendLayout();
     44      this.remotePluginsTabPage.SuspendLayout();
     45      this.logTabPage.SuspendLayout();
    3146      this.SuspendLayout();
    3247      //
    3348      // statusStrip
    3449      //
    35       this.statusStrip.Location = new System.Drawing.Point(0, 433);
     50      this.statusStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
     51            this.toolStripProgressBar,
     52            this.toolStripStatusLabel});
     53      this.statusStrip.Location = new System.Drawing.Point(0, 612);
    3654      this.statusStrip.Name = "statusStrip";
    37       this.statusStrip.Size = new System.Drawing.Size(394, 22);
     55      this.statusStrip.Size = new System.Drawing.Size(606, 22);
    3856      this.statusStrip.TabIndex = 0;
    39       this.statusStrip.Text = "statusStrip1";
    40       //
    41       // tableLayoutPanel
    42       //
    43       this.tableLayoutPanel.ColumnCount = 1;
    44       this.tableLayoutPanel.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Percent, 50F));
    45       this.tableLayoutPanel.Controls.Add(this.detailsTextBox, 0, 1);
    46       this.tableLayoutPanel.Controls.Add(this.pluginsListView, 0, 0);
    47       this.tableLayoutPanel.Dock = System.Windows.Forms.DockStyle.Fill;
    48       this.tableLayoutPanel.Location = new System.Drawing.Point(0, 0);
    49       this.tableLayoutPanel.Name = "tableLayoutPanel";
    50       this.tableLayoutPanel.RowCount = 2;
    51       this.tableLayoutPanel.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Percent, 64F));
    52       this.tableLayoutPanel.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Percent, 36F));
    53       this.tableLayoutPanel.Size = new System.Drawing.Size(394, 433);
    54       this.tableLayoutPanel.TabIndex = 1;
    55       //
    56       // detailsTextBox
    57       //
    58       this.detailsTextBox.Dock = System.Windows.Forms.DockStyle.Fill;
    59       this.detailsTextBox.Location = new System.Drawing.Point(3, 280);
    60       this.detailsTextBox.Multiline = true;
    61       this.detailsTextBox.Name = "detailsTextBox";
    62       this.detailsTextBox.ReadOnly = true;
    63       this.detailsTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
    64       this.detailsTextBox.Size = new System.Drawing.Size(388, 150);
    65       this.detailsTextBox.TabIndex = 0;
    66       //
    67       // pluginsListView
    68       //
    69       this.pluginsListView.Dock = System.Windows.Forms.DockStyle.Fill;
    70       this.pluginsListView.Location = new System.Drawing.Point(3, 3);
    71       this.pluginsListView.MultiSelect = false;
    72       this.pluginsListView.Name = "pluginsListView";
    73       this.pluginsListView.Size = new System.Drawing.Size(388, 271);
    74       this.pluginsListView.TabIndex = 1;
    75       this.pluginsListView.UseCompatibleStateImageBehavior = false;
    76       this.pluginsListView.View = System.Windows.Forms.View.List;
    77       this.pluginsListView.SelectedIndexChanged += new System.EventHandler(this.pluginsListView_SelectedIndexChanged);
     57      //
     58      // toolStripProgressBar
     59      //
     60      this.toolStripProgressBar.MarqueeAnimationSpeed = 30;
     61      this.toolStripProgressBar.Name = "toolStripProgressBar";
     62      this.toolStripProgressBar.Size = new System.Drawing.Size(100, 16);
     63      this.toolStripProgressBar.Style = System.Windows.Forms.ProgressBarStyle.Marquee;
     64      this.toolStripProgressBar.Visible = false;
     65      //
     66      // toolStripStatusLabel
     67      //
     68      this.toolStripStatusLabel.Name = "toolStripStatusLabel";
     69      this.toolStripStatusLabel.Size = new System.Drawing.Size(0, 17);
     70      //
     71      // removeButton
     72      //
     73      this.removeButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     74      this.removeButton.Enabled = false;
     75      this.removeButton.Location = new System.Drawing.Point(6, 557);
     76      this.removeButton.Name = "removeButton";
     77      this.removeButton.Size = new System.Drawing.Size(109, 23);
     78      this.removeButton.TabIndex = 11;
     79      this.removeButton.Text = "Remove Plugins";
     80      this.removeButton.UseVisualStyleBackColor = true;
     81      this.removeButton.Click += new System.EventHandler(this.removeButton_Click);
     82      //
     83      // serverUrlLabel
     84      //
     85      this.serverUrlLabel.AutoSize = true;
     86      this.serverUrlLabel.Location = new System.Drawing.Point(9, 11);
     87      this.serverUrlLabel.Name = "serverUrlLabel";
     88      this.serverUrlLabel.Size = new System.Drawing.Size(73, 13);
     89      this.serverUrlLabel.TabIndex = 13;
     90      this.serverUrlLabel.Text = "Plugin Server:";
     91      //
     92      // serverUrlTextBox
     93      //
     94      this.serverUrlTextBox.Location = new System.Drawing.Point(88, 8);
     95      this.serverUrlTextBox.Name = "serverUrlTextBox";
     96      this.serverUrlTextBox.Size = new System.Drawing.Size(264, 20);
     97      this.serverUrlTextBox.TabIndex = 12;
     98      //
     99      // refreshButton
     100      //
     101      this.refreshButton.Location = new System.Drawing.Point(358, 6);
     102      this.refreshButton.Name = "refreshButton";
     103      this.refreshButton.Size = new System.Drawing.Size(75, 23);
     104      this.refreshButton.TabIndex = 11;
     105      this.refreshButton.Text = "Refresh";
     106      this.refreshButton.UseVisualStyleBackColor = true;
     107      this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
     108      //
     109      // installButton
     110      //
     111      this.installButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     112      this.installButton.Enabled = false;
     113      this.installButton.Location = new System.Drawing.Point(6, 557);
     114      this.installButton.Name = "installButton";
     115      this.installButton.Size = new System.Drawing.Size(132, 23);
     116      this.installButton.TabIndex = 15;
     117      this.installButton.Text = "Download and Install";
     118      this.installButton.UseVisualStyleBackColor = true;
     119      this.installButton.Click += new System.EventHandler(this.updateButton_Click);
     120      //
     121      // tabControl
     122      //
     123      this.tabControl.Controls.Add(this.localPluginsTabPage);
     124      this.tabControl.Controls.Add(this.remotePluginsTabPage);
     125      this.tabControl.Controls.Add(this.logTabPage);
     126      this.tabControl.Dock = System.Windows.Forms.DockStyle.Fill;
     127      this.tabControl.Location = new System.Drawing.Point(0, 0);
     128      this.tabControl.Name = "tabControl";
     129      this.tabControl.SelectedIndex = 0;
     130      this.tabControl.Size = new System.Drawing.Size(606, 612);
     131      this.tabControl.TabIndex = 16;
     132      //
     133      // localPluginsTabPage
     134      //
     135      this.localPluginsTabPage.Controls.Add(this.removeButton);
     136      this.localPluginsTabPage.Controls.Add(this.localPluginManager);
     137      this.localPluginsTabPage.Location = new System.Drawing.Point(4, 22);
     138      this.localPluginsTabPage.Name = "localPluginsTabPage";
     139      this.localPluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
     140      this.localPluginsTabPage.Size = new System.Drawing.Size(598, 586);
     141      this.localPluginsTabPage.TabIndex = 0;
     142      this.localPluginsTabPage.Text = "Installed Plugins";
     143      this.localPluginsTabPage.UseVisualStyleBackColor = true;
     144      //
     145      // localPluginManager
     146      //
     147      this.localPluginManager.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     148                  | System.Windows.Forms.AnchorStyles.Left)
     149                  | System.Windows.Forms.AnchorStyles.Right)));
     150      this.localPluginManager.Location = new System.Drawing.Point(6, 6);
     151      this.localPluginManager.Name = "localPluginManager";
     152      this.localPluginManager.Plugins = null;
     153      this.localPluginManager.Size = new System.Drawing.Size(584, 545);
     154      this.localPluginManager.TabIndex = 0;
     155      this.localPluginManager.ItemChecked += new System.Windows.Forms.ItemCheckedEventHandler(this.localPluginManager_ItemChecked);
     156      //
     157      // remotePluginsTabPage
     158      //
     159      this.remotePluginsTabPage.Controls.Add(this.serverUrlLabel);
     160      this.remotePluginsTabPage.Controls.Add(this.remotePluginInstaller);
     161      this.remotePluginsTabPage.Controls.Add(this.serverUrlTextBox);
     162      this.remotePluginsTabPage.Controls.Add(this.refreshButton);
     163      this.remotePluginsTabPage.Controls.Add(this.installButton);
     164      this.remotePluginsTabPage.Location = new System.Drawing.Point(4, 22);
     165      this.remotePluginsTabPage.Name = "remotePluginsTabPage";
     166      this.remotePluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
     167      this.remotePluginsTabPage.Size = new System.Drawing.Size(598, 586);
     168      this.remotePluginsTabPage.TabIndex = 1;
     169      this.remotePluginsTabPage.Text = "Remote Plugins";
     170      this.remotePluginsTabPage.UseVisualStyleBackColor = true;
     171      //
     172      // remotePluginInstaller
     173      //
     174      this.remotePluginInstaller.AllPlugins = new HeuristicLab.PluginInfrastructure.IPluginDescription[0];
     175      this.remotePluginInstaller.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     176                  | System.Windows.Forms.AnchorStyles.Left)
     177                  | System.Windows.Forms.AnchorStyles.Right)));
     178      this.remotePluginInstaller.Location = new System.Drawing.Point(6, 35);
     179      this.remotePluginInstaller.Name = "remotePluginInstaller";
     180      this.remotePluginInstaller.NewPlugins = new HeuristicLab.PluginInfrastructure.IPluginDescription[0];
     181      this.remotePluginInstaller.Products = new HeuristicLab.PluginInfrastructure.Advanced.DeploymentService.ProductDescription[0];
     182      this.remotePluginInstaller.Size = new System.Drawing.Size(584, 516);
     183      this.remotePluginInstaller.TabIndex = 14;
     184      this.remotePluginInstaller.ItemChecked += new System.Windows.Forms.ItemCheckedEventHandler(this.remotePluginInstaller_ItemChecked);
     185      //
     186      // logTabPage
     187      //
     188      this.logTabPage.Controls.Add(this.logTextBox);
     189      this.logTabPage.Location = new System.Drawing.Point(4, 22);
     190      this.logTabPage.Name = "logTabPage";
     191      this.logTabPage.Size = new System.Drawing.Size(598, 586);
     192      this.logTabPage.TabIndex = 2;
     193      this.logTabPage.Text = "Log";
     194      this.logTabPage.UseVisualStyleBackColor = true;
     195      //
     196      // logTextBox
     197      //
     198      this.logTextBox.Dock = System.Windows.Forms.DockStyle.Fill;
     199      this.logTextBox.Location = new System.Drawing.Point(0, 0);
     200      this.logTextBox.Multiline = true;
     201      this.logTextBox.Name = "logTextBox";
     202      this.logTextBox.ReadOnly = true;
     203      this.logTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
     204      this.logTextBox.Size = new System.Drawing.Size(598, 586);
     205      this.logTextBox.TabIndex = 0;
    78206      //
    79207      // InstallationManagerForm
    … …  
    81209      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    82210      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    83       this.ClientSize = new System.Drawing.Size(394, 455);
    84       this.Controls.Add(this.tableLayoutPanel);
     211      this.ClientSize = new System.Drawing.Size(606, 634);
     212      this.Controls.Add(this.tabControl);
    85213      this.Controls.Add(this.statusStrip);
    86214      this.Name = "InstallationManagerForm";
    87215      this.Text = "InstallationManager";
    88       this.tableLayoutPanel.ResumeLayout(false);
    89       this.tableLayoutPanel.PerformLayout();
     216      this.statusStrip.ResumeLayout(false);
     217      this.statusStrip.PerformLayout();
     218      this.tabControl.ResumeLayout(false);
     219      this.localPluginsTabPage.ResumeLayout(false);
     220      this.remotePluginsTabPage.ResumeLayout(false);
     221      this.remotePluginsTabPage.PerformLayout();
     222      this.logTabPage.ResumeLayout(false);
     223      this.logTabPage.PerformLayout();
    90224      this.ResumeLayout(false);
    91225      this.PerformLayout();
    … …  
    96230
    97231    private System.Windows.Forms.StatusStrip statusStrip;
    98     private System.Windows.Forms.TableLayoutPanel tableLayoutPanel;
    99     private System.Windows.Forms.TextBox detailsTextBox;
    100     private System.Windows.Forms.ListView pluginsListView;
     232    private System.Windows.Forms.ToolStripProgressBar toolStripProgressBar;
     233    private System.Windows.Forms.ToolStripStatusLabel toolStripStatusLabel;
     234    private System.Windows.Forms.Label serverUrlLabel;
     235    private System.Windows.Forms.TextBox serverUrlTextBox;
     236    private System.Windows.Forms.Button refreshButton;
     237    private LocalPluginManager localPluginManager;
     238    private RemotePluginInstaller remotePluginInstaller;
     239    private System.Windows.Forms.Button removeButton;
     240    private System.Windows.Forms.Button installButton;
     241    private System.Windows.Forms.TabControl tabControl;
     242    private System.Windows.Forms.TabPage localPluginsTabPage;
     243    private System.Windows.Forms.TabPage remotePluginsTabPage;
     244    private System.Windows.Forms.TabPage logTabPage;
     245    private System.Windows.Forms.TextBox logTextBox;
    101246  }
    102247}
Note: See TracChangeset for help on using the changeset viewer.