Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
03/24/10 19:33:44 (15 years ago)
Author:
gkronber
Message:

Implemented changes in plugin administrator UI as requested by swagner. #949 (Overhaul look and feel of plugin administrator)

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/sources/HeuristicLab.PluginAdministrator/3.3/ProductEditor.Designer.cs

    r3179 r3208  
    4747      this.components = new System.ComponentModel.Container();
    4848      this.refreshButton = new System.Windows.Forms.Button();
    49       this.saveButton = new System.Windows.Forms.Button();
     49      this.uploadButton = new System.Windows.Forms.Button();
    5050      this.newProductButton = new System.Windows.Forms.Button();
    5151      this.splitContainer = new System.Windows.Forms.SplitContainer();
     52      this.productsGroupBox = new System.Windows.Forms.GroupBox();
    5253      this.productsListView = new System.Windows.Forms.ListView();
    5354      this.productNameHeader = new System.Windows.Forms.ColumnHeader();
    5455      this.productVersionHeader = new System.Windows.Forms.ColumnHeader();
    5556      this.productImageList = new System.Windows.Forms.ImageList(this.components);
     57      this.detailsGroupBox = new System.Windows.Forms.GroupBox();
     58      this.pluginsGroupBox = new System.Windows.Forms.GroupBox();
    5659      this.pluginListView = new HeuristicLab.PluginAdministrator.PluginListView();
    57       this.pluginsLabel = new System.Windows.Forms.Label();
    5860      this.versionTextBox = new System.Windows.Forms.TextBox();
     61      this.nameLabel = new System.Windows.Forms.Label();
     62      this.nameTextBox = new System.Windows.Forms.TextBox();
    5963      this.versionLabel = new System.Windows.Forms.Label();
    60       this.nameTextBox = new System.Windows.Forms.TextBox();
    61       this.nameLabel = new System.Windows.Forms.Label();
    6264      this.pluginImageList = new System.Windows.Forms.ImageList(this.components);
    6365      this.errorProvider = new System.Windows.Forms.ErrorProvider(this.components);
    … …  
    6567      this.splitContainer.Panel2.SuspendLayout();
    6668      this.splitContainer.SuspendLayout();
     69      this.productsGroupBox.SuspendLayout();
     70      this.detailsGroupBox.SuspendLayout();
     71      this.pluginsGroupBox.SuspendLayout();
    6772      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
    6873      this.SuspendLayout();
    … …  
    7075      // refreshButton
    7176      //
    72       this.refreshButton.Location = new System.Drawing.Point(3, 3);
     77      this.refreshButton.Location = new System.Drawing.Point(6, 19);
    7378      this.refreshButton.Name = "refreshButton";
    7479      this.refreshButton.Size = new System.Drawing.Size(75, 23);
    … …  
    7883      this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
    7984      //
    80       // saveButton
    81       //
    82       this.saveButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
    83       this.saveButton.Enabled = false;
    84       this.saveButton.Location = new System.Drawing.Point(3, 365);
    85       this.saveButton.Name = "saveButton";
    86       this.saveButton.Size = new System.Drawing.Size(96, 23);
    87       this.saveButton.TabIndex = 2;
    88       this.saveButton.Text = "Upload Products";
    89       this.saveButton.UseVisualStyleBackColor = true;
    90       this.saveButton.Click += new System.EventHandler(this.saveButton_Click);
     85      // uploadButton
     86      //
     87      this.uploadButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     88      this.uploadButton.Enabled = false;
     89      this.uploadButton.Location = new System.Drawing.Point(6, 397);
     90      this.uploadButton.Name = "uploadButton";
     91      this.uploadButton.Size = new System.Drawing.Size(96, 23);
     92      this.uploadButton.TabIndex = 2;
     93      this.uploadButton.Text = "Upload Products";
     94      this.uploadButton.UseVisualStyleBackColor = true;
     95      this.uploadButton.Click += new System.EventHandler(this.saveButton_Click);
    9196      //
    9297      // newProductButton
    9398      //
    9499      this.newProductButton.Enabled = false;
    95       this.newProductButton.Location = new System.Drawing.Point(84, 3);
     100      this.newProductButton.Location = new System.Drawing.Point(87, 19);
    96101      this.newProductButton.Name = "newProductButton";
    97102      this.newProductButton.Size = new System.Drawing.Size(91, 23);
    … …  
    103108      // splitContainer
    104109      //
    105       this.splitContainer.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    106                   | System.Windows.Forms.AnchorStyles.Left)
    107                   | System.Windows.Forms.AnchorStyles.Right)));
    108       this.splitContainer.Location = new System.Drawing.Point(3, 32);
     110      this.splitContainer.Dock = System.Windows.Forms.DockStyle.Fill;
     111      this.splitContainer.Location = new System.Drawing.Point(0, 0);
    109112      this.splitContainer.Name = "splitContainer";
    110113      //
    111114      // splitContainer.Panel1
    112115      //
    113       this.splitContainer.Panel1.Controls.Add(this.productsListView);
    114       this.splitContainer.Panel1.Controls.Add(this.saveButton);
     116      this.splitContainer.Panel1.Controls.Add(this.productsGroupBox);
    115117      //
    116118      // splitContainer.Panel2
    117119      //
    118       this.splitContainer.Panel2.Controls.Add(this.pluginListView);
    119       this.splitContainer.Panel2.Controls.Add(this.pluginsLabel);
    120       this.splitContainer.Panel2.Controls.Add(this.versionTextBox);
    121       this.splitContainer.Panel2.Controls.Add(this.versionLabel);
    122       this.splitContainer.Panel2.Controls.Add(this.nameTextBox);
    123       this.splitContainer.Panel2.Controls.Add(this.nameLabel);
    124       this.splitContainer.Size = new System.Drawing.Size(659, 391);
    125       this.splitContainer.SplitterDistance = 319;
     120      this.splitContainer.Panel2.Controls.Add(this.detailsGroupBox);
     121      this.splitContainer.Size = new System.Drawing.Size(665, 426);
     122      this.splitContainer.SplitterDistance = 321;
    126123      this.splitContainer.TabIndex = 4;
     124      //
     125      // productsGroupBox
     126      //
     127      this.productsGroupBox.Controls.Add(this.uploadButton);
     128      this.productsGroupBox.Controls.Add(this.newProductButton);
     129      this.productsGroupBox.Controls.Add(this.productsListView);
     130      this.productsGroupBox.Controls.Add(this.refreshButton);
     131      this.productsGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
     132      this.productsGroupBox.Location = new System.Drawing.Point(0, 0);
     133      this.productsGroupBox.Name = "productsGroupBox";
     134      this.productsGroupBox.Size = new System.Drawing.Size(321, 426);
     135      this.productsGroupBox.TabIndex = 5;
     136      this.productsGroupBox.TabStop = false;
     137      this.productsGroupBox.Text = "Products";
    127138      //
    128139      // productsListView
    … …  
    136147      this.productsListView.Enabled = false;
    137148      this.productsListView.FullRowSelect = true;
    138       this.productsListView.Location = new System.Drawing.Point(3, 3);
     149      this.productsListView.Location = new System.Drawing.Point(6, 48);
    139150      this.productsListView.MultiSelect = false;
    140151      this.productsListView.Name = "productsListView";
    141       this.productsListView.Size = new System.Drawing.Size(313, 356);
     152      this.productsListView.Size = new System.Drawing.Size(309, 343);
    142153      this.productsListView.SmallImageList = this.productImageList;
    143154      this.productsListView.TabIndex = 4;
    … …  
    149160      //
    150161      this.productNameHeader.Text = "Name";
    151       this.productNameHeader.Width = 150;
     162      this.productNameHeader.Width = 40;
    152163      //
    153164      // productVersionHeader
    154165      //
    155166      this.productVersionHeader.Text = "Version";
    156       this.productVersionHeader.Width = 100;
     167      this.productVersionHeader.Width = 265;
    157168      //
    158169      // productImageList
    … …  
    162173      this.productImageList.TransparentColor = System.Drawing.Color.Transparent;
    163174      //
    164       // pluginListView
    165       //
    166       this.pluginListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     175      // detailsGroupBox
     176      //
     177      this.detailsGroupBox.Controls.Add(this.pluginsGroupBox);
     178      this.detailsGroupBox.Controls.Add(this.versionTextBox);
     179      this.detailsGroupBox.Controls.Add(this.nameLabel);
     180      this.detailsGroupBox.Controls.Add(this.nameTextBox);
     181      this.detailsGroupBox.Controls.Add(this.versionLabel);
     182      this.detailsGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
     183      this.detailsGroupBox.Location = new System.Drawing.Point(0, 0);
     184      this.detailsGroupBox.Name = "detailsGroupBox";
     185      this.detailsGroupBox.Size = new System.Drawing.Size(340, 426);
     186      this.detailsGroupBox.TabIndex = 8;
     187      this.detailsGroupBox.TabStop = false;
     188      this.detailsGroupBox.Text = "Details";
     189      //
     190      // pluginsGroupBox
     191      //
     192      this.pluginsGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    167193                  | System.Windows.Forms.AnchorStyles.Left)
    168194                  | System.Windows.Forms.AnchorStyles.Right)));
     195      this.pluginsGroupBox.Controls.Add(this.pluginListView);
     196      this.pluginsGroupBox.Location = new System.Drawing.Point(6, 71);
     197      this.pluginsGroupBox.Name = "pluginsGroupBox";
     198      this.pluginsGroupBox.Size = new System.Drawing.Size(328, 349);
     199      this.pluginsGroupBox.TabIndex = 6;
     200      this.pluginsGroupBox.TabStop = false;
     201      this.pluginsGroupBox.Text = "Plugins";
     202      //
     203      // pluginListView
     204      //
     205      this.pluginListView.Dock = System.Windows.Forms.DockStyle.Fill;
    169206      this.pluginListView.Enabled = false;
    170       this.pluginListView.Location = new System.Drawing.Point(3, 85);
     207      this.pluginListView.Location = new System.Drawing.Point(3, 16);
    171208      this.pluginListView.Name = "pluginListView";
    172209      this.pluginListView.Plugins = null;
    173       this.pluginListView.Size = new System.Drawing.Size(330, 303);
     210      this.pluginListView.Size = new System.Drawing.Size(322, 330);
    174211      this.pluginListView.TabIndex = 7;
    175212      this.pluginListView.ItemChecked += new System.Windows.Forms.ItemCheckedEventHandler(this.pluginListView_ItemChecked);
    176       //
    177       // pluginsLabel
    178       //
    179       this.pluginsLabel.AutoSize = true;
    180       this.pluginsLabel.Location = new System.Drawing.Point(11, 69);
    181       this.pluginsLabel.Name = "pluginsLabel";
    182       this.pluginsLabel.Size = new System.Drawing.Size(44, 13);
    183       this.pluginsLabel.TabIndex = 6;
    184       this.pluginsLabel.Text = "Plugins:";
    185213      //
    186214      // versionTextBox
    … …  
    189217                  | System.Windows.Forms.AnchorStyles.Right)));
    190218      this.versionTextBox.Enabled = false;
    191       this.versionTextBox.Location = new System.Drawing.Point(68, 29);
     219      this.versionTextBox.Location = new System.Drawing.Point(57, 45);
    192220      this.versionTextBox.Name = "versionTextBox";
    193       this.versionTextBox.Size = new System.Drawing.Size(233, 20);
     221      this.versionTextBox.Size = new System.Drawing.Size(277, 20);
    194222      this.versionTextBox.TabIndex = 5;
    195223      this.versionTextBox.TextChanged += new System.EventHandler(this.versionTextBox_TextChanged);
    196224      //
     225      // nameLabel
     226      //
     227      this.nameLabel.AutoSize = true;
     228      this.nameLabel.Enabled = false;
     229      this.nameLabel.Location = new System.Drawing.Point(13, 22);
     230      this.nameLabel.Name = "nameLabel";
     231      this.nameLabel.Size = new System.Drawing.Size(38, 13);
     232      this.nameLabel.TabIndex = 2;
     233      this.nameLabel.Text = "Name:";
     234      //
     235      // nameTextBox
     236      //
     237      this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     238                  | System.Windows.Forms.AnchorStyles.Right)));
     239      this.nameTextBox.Enabled = false;
     240      this.nameTextBox.Location = new System.Drawing.Point(57, 19);
     241      this.nameTextBox.Name = "nameTextBox";
     242      this.nameTextBox.Size = new System.Drawing.Size(277, 20);
     243      this.nameTextBox.TabIndex = 3;
     244      this.nameTextBox.TextChanged += new System.EventHandler(this.nameTextBox_TextChanged);
     245      //
    197246      // versionLabel
    198247      //
    199248      this.versionLabel.AutoSize = true;
    200249      this.versionLabel.Enabled = false;
    201       this.versionLabel.Location = new System.Drawing.Point(10, 32);
     250      this.versionLabel.Location = new System.Drawing.Point(6, 48);
    202251      this.versionLabel.Name = "versionLabel";
    203252      this.versionLabel.Size = new System.Drawing.Size(45, 13);
    … …  
    205254      this.versionLabel.Text = "Version:";
    206255      //
    207       // nameTextBox
    208       //
    209       this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    210                   | System.Windows.Forms.AnchorStyles.Right)));
    211       this.nameTextBox.Enabled = false;
    212       this.nameTextBox.Location = new System.Drawing.Point(68, 3);
    213       this.nameTextBox.Name = "nameTextBox";
    214       this.nameTextBox.Size = new System.Drawing.Size(233, 20);
    215       this.nameTextBox.TabIndex = 3;
    216       this.nameTextBox.TextChanged += new System.EventHandler(this.nameTextBox_TextChanged);
    217       //
    218       // nameLabel
    219       //
    220       this.nameLabel.AutoSize = true;
    221       this.nameLabel.Enabled = false;
    222       this.nameLabel.Location = new System.Drawing.Point(17, 6);
    223       this.nameLabel.Name = "nameLabel";
    224       this.nameLabel.Size = new System.Drawing.Size(38, 13);
    225       this.nameLabel.TabIndex = 2;
    226       this.nameLabel.Text = "Name:";
    227       //
    228256      // pluginImageList
    229257      //
    … …  
    241269      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    242270      this.Controls.Add(this.splitContainer);
    243       this.Controls.Add(this.newProductButton);
    244       this.Controls.Add(this.refreshButton);
    245271      this.Name = "ProductEditor";
    246272      this.Size = new System.Drawing.Size(665, 426);
    247273      this.splitContainer.Panel1.ResumeLayout(false);
    248274      this.splitContainer.Panel2.ResumeLayout(false);
    249       this.splitContainer.Panel2.PerformLayout();
    250275      this.splitContainer.ResumeLayout(false);
     276      this.productsGroupBox.ResumeLayout(false);
     277      this.detailsGroupBox.ResumeLayout(false);
     278      this.detailsGroupBox.PerformLayout();
     279      this.pluginsGroupBox.ResumeLayout(false);
    251280      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
    252281      this.ResumeLayout(false);
    … …  
    257286
    258287    private System.Windows.Forms.Button refreshButton;
    259     private System.Windows.Forms.Button saveButton;
     288    private System.Windows.Forms.Button uploadButton;
    260289    private System.Windows.Forms.Button newProductButton;
    261290    private System.Windows.Forms.SplitContainer splitContainer;
    262     private System.Windows.Forms.Label pluginsLabel;
    263291    private System.Windows.Forms.TextBox versionTextBox;
    264292    private System.Windows.Forms.Label versionLabel;
    … …  
    272300    private System.Windows.Forms.ImageList pluginImageList;
    273301    private PluginListView pluginListView;
     302    private System.Windows.Forms.GroupBox productsGroupBox;
     303    private System.Windows.Forms.GroupBox detailsGroupBox;
     304    private System.Windows.Forms.GroupBox pluginsGroupBox;
    274305
    275306  }
Note: See TracChangeset for help on using the changeset viewer.