source: trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/LocalPluginManager.Designer.cs @ 2922

namespace HeuristicLab.PluginInfrastructure.Advanced {
  partial class LocalPluginManager {
    /// <summary> 
    /// Required designer variable.
    /// </summary>
    private System.ComponentModel.IContainer components = null;

    /// <summary> 
    /// Clean up any resources being used.
    /// </summary>
    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
    protected override void Dispose(bool disposing) {
      if (disposing && (components != null)) {
        components.Dispose();
      }
      base.Dispose(disposing);
    }

    #region Component Designer generated code

    /// <summary> 
    /// Required method for Designer support - do not modify 
    /// the contents of this method with the code editor.
    /// </summary>
    private void InitializeComponent() {
      this.components = new System.ComponentModel.Container();
      System.Windows.Forms.ListViewGroup listViewGroup1 = new System.Windows.Forms.ListViewGroup("Active Plugins", System.Windows.Forms.HorizontalAlignment.Left);
      System.Windows.Forms.ListViewGroup listViewGroup2 = new System.Windows.Forms.ListViewGroup("Disabled Plugins", System.Windows.Forms.HorizontalAlignment.Left);
      this.localPluginsListView = new System.Windows.Forms.ListView();
      this.pluginNameHeader = new System.Windows.Forms.ColumnHeader();
      this.versionHeader = new System.Windows.Forms.ColumnHeader();
      this.pluginDescriptionHeader = new System.Windows.Forms.ColumnHeader();
      this.imageListForLocalItems = new System.Windows.Forms.ImageList(this.components);
      this.SuspendLayout();
      // 
      // localPluginsListView
      // 
      this.localPluginsListView.CheckBoxes = true;
      this.localPluginsListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
            this.pluginNameHeader,
            this.versionHeader,
            this.pluginDescriptionHeader});
      this.localPluginsListView.Dock = System.Windows.Forms.DockStyle.Fill;
      this.localPluginsListView.FullRowSelect = true;
      listViewGroup1.Header = "Active Plugins";
      listViewGroup1.Name = "activePluginsGroup";
      listViewGroup2.Header = "Disabled Plugins";
      listViewGroup2.Name = "disabledPluginsGroup";
      this.localPluginsListView.Groups.AddRange(new System.Windows.Forms.ListViewGroup[] {
            listViewGroup1,
            listViewGroup2});
      this.localPluginsListView.Location = new System.Drawing.Point(0, 0);
      this.localPluginsListView.Name = "localPluginsListView";
      this.localPluginsListView.Size = new System.Drawing.Size(570, 547);
      this.localPluginsListView.StateImageList = this.imageListForLocalItems;
      this.localPluginsListView.TabIndex = 8;
      this.localPluginsListView.UseCompatibleStateImageBehavior = false;
      this.localPluginsListView.View = System.Windows.Forms.View.Details;
      this.localPluginsListView.ItemChecked += new System.Windows.Forms.ItemCheckedEventHandler(this.pluginsListView_ItemChecked);
      // 
      // pluginNameHeader
      // 
      this.pluginNameHeader.Text = "Name";
      this.pluginNameHeader.Width = 220;
      // 
      // versionHeader
      // 
      this.versionHeader.Text = "Version";
      this.versionHeader.Width = 120;
      // 
      // pluginDescriptionHeader
      // 
      this.pluginDescriptionHeader.Text = "Description";
      this.pluginDescriptionHeader.Width = 243;
      // 
      // imageListForLocalItems
      // 
      this.imageListForLocalItems.ColorDepth = System.Windows.Forms.ColorDepth.Depth32Bit;
      this.imageListForLocalItems.ImageSize = new System.Drawing.Size(13, 13);
      this.imageListForLocalItems.TransparentColor = System.Drawing.Color.Transparent;
      // 
      // LocalPluginManager
      // 
      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
      this.Controls.Add(this.localPluginsListView);
      this.Name = "LocalPluginManager";
      this.Size = new System.Drawing.Size(570, 547);
      this.ResumeLayout(false);

    }

    #endregion

    private System.Windows.Forms.ListView localPluginsListView;
    private System.Windows.Forms.ColumnHeader pluginNameHeader;
    private System.Windows.Forms.ColumnHeader versionHeader;
    private System.Windows.Forms.ColumnHeader pluginDescriptionHeader;
    private System.Windows.Forms.ImageList imageListForLocalItems;
  }
}