Ignore:
Timestamp:
09/26/08 15:34:29 (14 years ago)
Author:
gkronber
Message:

fixed #99 (Possibility to publish multiple plugins in one action)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/sources/HeuristicLab.PluginInfrastructure.GUI/ManagerForm.designer.cs

    r600 r602  
    4646    private void InitializeComponent() {
    4747      this.components = new System.ComponentModel.Container();
     48      System.Windows.Forms.ListViewGroup listViewGroup1 = new System.Windows.Forms.ListViewGroup("Available 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      System.Windows.Forms.ListViewGroup listViewGroup3 = new System.Windows.Forms.ListViewGroup("Installed plugins", System.Windows.Forms.HorizontalAlignment.Left);
    4851      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(ManagerForm));
    4952      this.menuStrip = new System.Windows.Forms.MenuStrip();
     
    6063      this.aboutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    6164      this.splitContainer = new System.Windows.Forms.SplitContainer();
    62       this.pluginTreeView = new System.Windows.Forms.TreeView();
     65      this.listView = new System.Windows.Forms.ListView();
     66      this.nameHeader = new System.Windows.Forms.ColumnHeader();
     67      this.versionHeader = new System.Windows.Forms.ColumnHeader();
     68      this.infoTextBox = new System.Windows.Forms.RichTextBox();
    6369      this.pluginIcons = new System.Windows.Forms.ImageList(this.components);
    64       this.infoTextBox = new System.Windows.Forms.RichTextBox();
    6570      this.toolStrip = new System.Windows.Forms.ToolStrip();
    6671      this.updateButton = new System.Windows.Forms.ToolStripButton();
     
    190195      // splitContainer.Panel1
    191196      //
    192       this.splitContainer.Panel1.Controls.Add(this.pluginTreeView);
     197      this.splitContainer.Panel1.Controls.Add(this.listView);
    193198      //
    194199      // splitContainer.Panel2
     
    199204      this.splitContainer.TabIndex = 1;
    200205      //
    201       // pluginTreeView
    202       //
    203       this.pluginTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
    204       this.pluginTreeView.ImageIndex = 0;
    205       this.pluginTreeView.ImageList = this.pluginIcons;
    206       this.pluginTreeView.Location = new System.Drawing.Point(0, 0);
    207       this.pluginTreeView.Name = "pluginTreeView";
    208       this.pluginTreeView.SelectedImageIndex = 0;
    209       this.pluginTreeView.Size = new System.Drawing.Size(828, 220);
    210       this.pluginTreeView.TabIndex = 0;
    211       this.pluginTreeView.NodeMouseClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.pluginTreeView_NodeMouseClick);
    212       this.pluginTreeView.BeforeSelect += new System.Windows.Forms.TreeViewCancelEventHandler(this.pluginTreeView_BeforeSelect);
    213       this.pluginTreeView.KeyDown += new System.Windows.Forms.KeyEventHandler(this.pluginTreeView_KeyDown);
     206      // listView
     207      //
     208      this.listView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
     209            this.nameHeader,
     210            this.versionHeader});
     211      this.listView.ContextMenuStrip = this.pluginContextMenuStrip;
     212      this.listView.Dock = System.Windows.Forms.DockStyle.Fill;
     213      listViewGroup1.Header = "Available plugins";
     214      listViewGroup1.Name = "Available plugins";
     215      listViewGroup2.Header = "Disabled plugins";
     216      listViewGroup2.Name = "Disabled plugins";
     217      listViewGroup3.Header = "Installed plugins";
     218      listViewGroup3.Name = "Installed plugins";
     219      this.listView.Groups.AddRange(new System.Windows.Forms.ListViewGroup[] {
     220            listViewGroup1,
     221            listViewGroup2,
     222            listViewGroup3});
     223      this.listView.Location = new System.Drawing.Point(0, 0);
     224      this.listView.Name = "listView";
     225      this.listView.Size = new System.Drawing.Size(828, 220);
     226      this.listView.SmallImageList = this.pluginIcons;
     227      this.listView.TabIndex = 0;
     228      this.listView.UseCompatibleStateImageBehavior = false;
     229      this.listView.MouseDown += new System.Windows.Forms.MouseEventHandler(this.listView_MouseDown);
     230      this.listView.ItemSelectionChanged += new System.Windows.Forms.ListViewItemSelectionChangedEventHandler(this.listView_ItemSelectionChanged);
     231      this.listView.KeyDown += new System.Windows.Forms.KeyEventHandler(this.pluginTreeView_KeyDown);
     232      //
     233      // nameHeader
     234      //
     235      this.nameHeader.Text = "Name";
     236      this.nameHeader.Width = 400;
     237      //
     238      // versionHeader
     239      //
     240      this.versionHeader.Text = "Version";
     241      //
     242      // infoTextBox
     243      //
     244      this.infoTextBox.Dock = System.Windows.Forms.DockStyle.Fill;
     245      this.infoTextBox.Location = new System.Drawing.Point(0, 0);
     246      this.infoTextBox.Name = "infoTextBox";
     247      this.infoTextBox.Size = new System.Drawing.Size(828, 249);
     248      this.infoTextBox.TabIndex = 0;
     249      this.infoTextBox.Text = "";
    214250      //
    215251      // pluginIcons
     
    222258      this.pluginIcons.Images.SetKeyName(3, "delete.bmp");
    223259      this.pluginIcons.Images.SetKeyName(4, "genericInternet.bmp");
    224       //
    225       // infoTextBox
    226       //
    227       this.infoTextBox.Dock = System.Windows.Forms.DockStyle.Fill;
    228       this.infoTextBox.Location = new System.Drawing.Point(0, 0);
    229       this.infoTextBox.Name = "infoTextBox";
    230       this.infoTextBox.Size = new System.Drawing.Size(828, 249);
    231       this.infoTextBox.TabIndex = 0;
    232       this.infoTextBox.Text = "";
    233260      //
    234261      // toolStrip
     
    394421    private System.Windows.Forms.ToolStripMenuItem managePluginSourcesToolStripMenuItem;
    395422    private System.Windows.Forms.SplitContainer splitContainer;
    396     private System.Windows.Forms.TreeView pluginTreeView;
    397423    private System.Windows.Forms.RichTextBox infoTextBox;
    398424    private System.Windows.Forms.ToolStripMenuItem refreshPluginListToolStripMenuItem;
     
    416442    private System.Windows.Forms.StatusStrip statusStrip1;
    417443    private System.Windows.Forms.ToolStripStatusLabel toolStripStatusLabel;
     444    private System.Windows.Forms.ListView listView;
     445    private System.Windows.Forms.ColumnHeader nameHeader;
     446    private System.Windows.Forms.ColumnHeader versionHeader;
    418447  }
    419448}
Note: See TracChangeset for help on using the changeset viewer.