Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
05/05/10 10:38:19 (14 years ago)
Author:
gkronber
Message:

Implemented changes in plugin infrastructure requested by reviewers. #989 (Implement review comments in plugin infrastructure)

File:
1 edited

Legend:

Unmodified
Added
Removed

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

    r3608 r3624  
    4646    private void InitializeComponent() {
    4747      this.components = new System.ComponentModel.Container();
    48       System.Windows.Forms.ListViewGroup listViewGroup1 = new System.Windows.Forms.ListViewGroup("Active Plugins", System.Windows.Forms.HorizontalAlignment.Left);
    49       System.Windows.Forms.ListViewGroup listViewGroup2 = new System.Windows.Forms.ListViewGroup("Disabled Plugins", System.Windows.Forms.HorizontalAlignment.Left);
    50       this.updateSelectedButton = new System.Windows.Forms.Button();
    51       this.removeButton = new System.Windows.Forms.Button();
     48      System.Windows.Forms.ListViewGroup listViewGroup3 = new System.Windows.Forms.ListViewGroup("Active Plugins", System.Windows.Forms.HorizontalAlignment.Left);
     49      System.Windows.Forms.ListViewGroup listViewGroup4 = new System.Windows.Forms.ListViewGroup("Disabled Plugins", System.Windows.Forms.HorizontalAlignment.Left);
    5250      this.localPluginsListView = new HeuristicLab.PluginInfrastructure.Advanced.MultiSelectListView();
    5351      this.nameHeader = new System.Windows.Forms.ColumnHeader();
    5452      this.versionHeader = new System.Windows.Forms.ColumnHeader();
    5553      this.descriptionHeader = new System.Windows.Forms.ColumnHeader();
     54      this.pluginImageList = new System.Windows.Forms.ImageList(this.components);
    5655      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
    57       this.pluginImageList = new System.Windows.Forms.ImageList(this.components);
     56      this.refreshButton = new System.Windows.Forms.Button();
     57      this.removeButton = new System.Windows.Forms.Button();
     58      this.updateSelectedButton = new System.Windows.Forms.Button();
    5859      this.SuspendLayout();
    59       //
    60       // updateSelectedButton
    61       //
    62       this.updateSelectedButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
    63       this.updateSelectedButton.Enabled = false;
    64       this.updateSelectedButton.Image = global::HeuristicLab.PluginInfrastructure.Properties.Resources.VS2008ImageLibrary_Objects_Internet;
    65       this.updateSelectedButton.Location = new System.Drawing.Point(3, 483);
    66       this.updateSelectedButton.Name = "updateSelectedButton";
    67       this.updateSelectedButton.Size = new System.Drawing.Size(114, 25);
    68       this.updateSelectedButton.TabIndex = 6;
    69       this.updateSelectedButton.Text = "Update Selected";
    70       this.updateSelectedButton.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText;
    71       this.toolTip.SetToolTip(this.updateSelectedButton, "Update all selected plugins");
    72       this.updateSelectedButton.UseVisualStyleBackColor = true;
    73       this.updateSelectedButton.Click += new System.EventHandler(this.updateSelectedButton_Click);
    74       //
    75       // removeButton
    76       //
    77       this.removeButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
    78       this.removeButton.Enabled = false;
    79       this.removeButton.Image = global::HeuristicLab.PluginInfrastructure.Properties.Resources.VS2008ImageLibrary_CommonElements_Actions_Remove;
    80       this.removeButton.Location = new System.Drawing.Point(123, 483);
    81       this.removeButton.Name = "removeButton";
    82       this.removeButton.Size = new System.Drawing.Size(110, 25);
    83       this.removeButton.TabIndex = 12;
    84       this.removeButton.Text = "Delete Selected";
    85       this.removeButton.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText;
    86       this.toolTip.SetToolTip(this.removeButton, "Delete all selected plugins from disk");
    87       this.removeButton.UseVisualStyleBackColor = true;
    88       this.removeButton.Click += new System.EventHandler(this.removeButton_Click);
    8960      //
    9061      // localPluginsListView
    … …  
    9869            this.versionHeader,
    9970            this.descriptionHeader});
    100       listViewGroup1.Header = "Active Plugins";
    101       listViewGroup1.Name = "activePluginsGroup";
    102       listViewGroup2.Header = "Disabled Plugins";
    103       listViewGroup2.Name = "disabledPluginsGroup";
     71      listViewGroup3.Header = "Active Plugins";
     72      listViewGroup3.Name = "activePluginsGroup";
     73      listViewGroup4.Header = "Disabled Plugins";
     74      listViewGroup4.Name = "disabledPluginsGroup";
    10475      this.localPluginsListView.Groups.AddRange(new System.Windows.Forms.ListViewGroup[] {
    105             listViewGroup1,
    106             listViewGroup2});
     76            listViewGroup3,
     77            listViewGroup4});
    10778      this.localPluginsListView.Location = new System.Drawing.Point(0, 0);
    10879      this.localPluginsListView.Name = "localPluginsListView";
    10980      this.localPluginsListView.Size = new System.Drawing.Size(539, 477);
    11081      this.localPluginsListView.SmallImageList = this.pluginImageList;
     82      this.localPluginsListView.Sorting = System.Windows.Forms.SortOrder.Ascending;
    11183      this.localPluginsListView.SuppressItemCheckedEvents = false;
    11284      this.localPluginsListView.TabIndex = 13;
    … …  
    137109      this.pluginImageList.TransparentColor = System.Drawing.Color.Transparent;
    138110      //
     111      // refreshButton
     112      //
     113      this.refreshButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     114      this.refreshButton.Image = global::HeuristicLab.PluginInfrastructure.Properties.Resources.RepeatHS1;
     115      this.refreshButton.Location = new System.Drawing.Point(0, 483);
     116      this.refreshButton.Name = "refreshButton";
     117      this.refreshButton.Size = new System.Drawing.Size(96, 25);
     118      this.refreshButton.TabIndex = 14;
     119      this.refreshButton.Text = "Refresh List";
     120      this.refreshButton.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText;
     121      this.toolTip.SetToolTip(this.refreshButton, "Refresh List of Installed Plugins");
     122      this.refreshButton.UseVisualStyleBackColor = true;
     123      this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
     124      //
     125      // removeButton
     126      //
     127      this.removeButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     128      this.removeButton.Enabled = false;
     129      this.removeButton.Image = global::HeuristicLab.PluginInfrastructure.Properties.Resources.VS2008ImageLibrary_CommonElements_Actions_Remove;
     130      this.removeButton.Location = new System.Drawing.Point(222, 483);
     131      this.removeButton.Name = "removeButton";
     132      this.removeButton.Size = new System.Drawing.Size(110, 25);
     133      this.removeButton.TabIndex = 12;
     134      this.removeButton.Text = "Delete Selected";
     135      this.removeButton.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText;
     136      this.toolTip.SetToolTip(this.removeButton, "Delete all selected plugins from disk");
     137      this.removeButton.UseVisualStyleBackColor = true;
     138      this.removeButton.Click += new System.EventHandler(this.removeButton_Click);
     139      //
     140      // updateSelectedButton
     141      //
     142      this.updateSelectedButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     143      this.updateSelectedButton.Enabled = false;
     144      this.updateSelectedButton.Image = global::HeuristicLab.PluginInfrastructure.Properties.Resources.VS2008ImageLibrary_Objects_Internet;
     145      this.updateSelectedButton.Location = new System.Drawing.Point(102, 483);
     146      this.updateSelectedButton.Name = "updateSelectedButton";
     147      this.updateSelectedButton.Size = new System.Drawing.Size(114, 25);
     148      this.updateSelectedButton.TabIndex = 6;
     149      this.updateSelectedButton.Text = "Update Selected";
     150      this.updateSelectedButton.TextImageRelation = System.Windows.Forms.TextImageRelation.ImageBeforeText;
     151      this.toolTip.SetToolTip(this.updateSelectedButton, "Update all selected plugins");
     152      this.updateSelectedButton.UseVisualStyleBackColor = true;
     153      this.updateSelectedButton.Click += new System.EventHandler(this.updateSelectedButton_Click);
     154      //
    139155      // LocalPluginsView
    140156      //
    141157      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    142158      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
     159      this.Controls.Add(this.refreshButton);
    143160      this.Controls.Add(this.localPluginsListView);
    144161      this.Controls.Add(this.removeButton);
    … …  
    160177    private System.Windows.Forms.ToolTip toolTip;
    161178    private System.Windows.Forms.ImageList pluginImageList;
     179    private System.Windows.Forms.Button refreshButton;
    162180    // private LocalPluginManagerView localPluginManagerView;
    163181  }
Note: See TracChangeset for help on using the changeset viewer.