Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
03/08/09 12:48:18 (15 years ago)
Author:
gkronber
Message:

Merged change sets from CEDMA branch to trunk:

File:
1 copied

Legend:

Unmodified
Added
Removed

  • trunk/sources/HeuristicLab.CEDMA.Core/DataSetListView.Designer.cs

    r957 r1287  
    4848    /// </summary>
    4949    private void InitializeComponent() {
    50       this.components = new System.ComponentModel.Container();
     50      this.refreshButton = new System.Windows.Forms.Button();
     51      this.addButton = new System.Windows.Forms.Button();
    5152      this.splitContainer1 = new System.Windows.Forms.SplitContainer();
    52       this.agentsGroupBox = new System.Windows.Forms.GroupBox();
    53       this.agentTreeView = new System.Windows.Forms.TreeView();
     53      this.dataSetsGroupBox = new System.Windows.Forms.GroupBox();
     54      this.dataSetsListView = new System.Windows.Forms.ListView();
    5455      this.detailsGroupBox = new System.Windows.Forms.GroupBox();
    55       this.addButton = new System.Windows.Forms.Button();
    56       this.refreshButton = new System.Windows.Forms.Button();
    57       this.entryContextMenuStrip = new System.Windows.Forms.ContextMenuStrip(this.components);
    58       this.exportAllResultsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    5956      this.splitContainer1.Panel1.SuspendLayout();
    6057      this.splitContainer1.Panel2.SuspendLayout();
    6158      this.splitContainer1.SuspendLayout();
    62       this.agentsGroupBox.SuspendLayout();
    63       this.entryContextMenuStrip.SuspendLayout();
     59      this.dataSetsGroupBox.SuspendLayout();
    6460      this.SuspendLayout();
     61      //
     62      // refreshButton
     63      //
     64      this.refreshButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     65      this.refreshButton.Location = new System.Drawing.Point(81, 161);
     66      this.refreshButton.Name = "refreshButton";
     67      this.refreshButton.Size = new System.Drawing.Size(75, 23);
     68      this.refreshButton.TabIndex = 2;
     69      this.refreshButton.Text = "&Refresh";
     70      this.refreshButton.UseVisualStyleBackColor = true;
     71      this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
     72      //
     73      // addButton
     74      //
     75      this.addButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     76      this.addButton.Location = new System.Drawing.Point(0, 161);
     77      this.addButton.Name = "addButton";
     78      this.addButton.Size = new System.Drawing.Size(75, 23);
     79      this.addButton.TabIndex = 1;
     80      this.addButton.Text = "&Add...";
     81      this.addButton.UseVisualStyleBackColor = true;
     82      this.addButton.Click += new System.EventHandler(this.addButton_Click);
    6583      //
    6684      // splitContainer1
    … …  
    7593      // splitContainer1.Panel1
    7694      //
    77       this.splitContainer1.Panel1.Controls.Add(this.agentsGroupBox);
     95      this.splitContainer1.Panel1.Controls.Add(this.dataSetsGroupBox);
    7896      //
    7997      // splitContainer1.Panel2
    … …  
    84102      this.splitContainer1.TabIndex = 0;
    85103      //
    86       // agentsGroupBox
     104      // dataSetsGroupBox
    87105      //
    88       this.agentsGroupBox.Controls.Add(this.agentTreeView);
    89       this.agentsGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
    90       this.agentsGroupBox.Location = new System.Drawing.Point(0, 0);
    91       this.agentsGroupBox.Name = "agentsGroupBox";
    92       this.agentsGroupBox.Size = new System.Drawing.Size(135, 155);
    93       this.agentsGroupBox.TabIndex = 0;
    94       this.agentsGroupBox.TabStop = false;
    95       this.agentsGroupBox.Text = "&Agents";
     106      this.dataSetsGroupBox.Controls.Add(this.dataSetsListView);
     107      this.dataSetsGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
     108      this.dataSetsGroupBox.Location = new System.Drawing.Point(0, 0);
     109      this.dataSetsGroupBox.Name = "dataSetsGroupBox";
     110      this.dataSetsGroupBox.Size = new System.Drawing.Size(135, 155);
     111      this.dataSetsGroupBox.TabIndex = 0;
     112      this.dataSetsGroupBox.TabStop = false;
     113      this.dataSetsGroupBox.Text = "&Data Sets";
    96114      //
    97       // agentTreeView
     115      // dataSetsListView
    98116      //
    99       this.agentTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
    100       this.agentTreeView.Location = new System.Drawing.Point(3, 16);
    101       this.agentTreeView.Name = "agentTreeView";
    102       this.agentTreeView.Size = new System.Drawing.Size(129, 136);
    103       this.agentTreeView.TabIndex = 0;
    104       this.agentTreeView.BeforeExpand += new System.Windows.Forms.TreeViewCancelEventHandler(this.agentTreeView_BeforeExpand);
    105       this.agentTreeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.agentTreeView_AfterSelect);
     117      this.dataSetsListView.Dock = System.Windows.Forms.DockStyle.Fill;
     118      this.dataSetsListView.Location = new System.Drawing.Point(3, 16);
     119      this.dataSetsListView.MultiSelect = false;
     120      this.dataSetsListView.Name = "dataSetsListView";
     121      this.dataSetsListView.Size = new System.Drawing.Size(129, 136);
     122      this.dataSetsListView.TabIndex = 0;
     123      this.dataSetsListView.UseCompatibleStateImageBehavior = false;
     124      this.dataSetsListView.View = System.Windows.Forms.View.List;
     125      this.dataSetsListView.SelectedIndexChanged += new System.EventHandler(this.dataSetsListView_SelectedIndexChanged);
    106126      //
    107127      // detailsGroupBox
    … …  
    115135      this.detailsGroupBox.Text = "&Details";
    116136      //
    117       // addButton
    118       //
    119       this.addButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
    120       this.addButton.Location = new System.Drawing.Point(0, 161);
    121       this.addButton.Name = "addButton";
    122       this.addButton.Size = new System.Drawing.Size(75, 23);
    123       this.addButton.TabIndex = 1;
    124       this.addButton.Text = "&Add...";
    125       this.addButton.UseVisualStyleBackColor = true;
    126       this.addButton.Click += new System.EventHandler(this.addButton_Click);
    127       //
    128       // refreshButton
    129       //
    130       this.refreshButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
    131       this.refreshButton.Location = new System.Drawing.Point(81, 161);
    132       this.refreshButton.Name = "refreshButton";
    133       this.refreshButton.Size = new System.Drawing.Size(75, 23);
    134       this.refreshButton.TabIndex = 2;
    135       this.refreshButton.Text = "&Refresh";
    136       this.refreshButton.UseVisualStyleBackColor = true;
    137       this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
    138       //
    139       // entryContextMenuStrip
    140       //
    141       this.entryContextMenuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
    142             this.exportAllResultsToolStripMenuItem});
    143       this.entryContextMenuStrip.Name = "entryContextMenuStrip";
    144       this.entryContextMenuStrip.Size = new System.Drawing.Size(166, 26);
    145       //
    146       // exportAllResultsToolStripMenuItem
    147       //
    148       this.exportAllResultsToolStripMenuItem.Name = "exportAllResultsToolStripMenuItem";
    149       this.exportAllResultsToolStripMenuItem.Size = new System.Drawing.Size(165, 22);
    150       this.exportAllResultsToolStripMenuItem.Text = "Export all results";
    151       this.exportAllResultsToolStripMenuItem.Click += new System.EventHandler(this.exportAllResultsToolStripMenuItem_Click);
    152       //
    153       // AgentListView
     137      // DataSetListView
    154138      //
    155139      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    … …  
    157141      this.Controls.Add(this.addButton);
    158142      this.Controls.Add(this.splitContainer1);
    159       this.Name = "AgentListView";
     143      this.Name = "DataSetListView";
    160144      this.Size = new System.Drawing.Size(276, 184);
    161145      this.splitContainer1.Panel1.ResumeLayout(false);
    162146      this.splitContainer1.Panel2.ResumeLayout(false);
    163147      this.splitContainer1.ResumeLayout(false);
    164       this.agentsGroupBox.ResumeLayout(false);
    165       this.entryContextMenuStrip.ResumeLayout(false);
     148      this.dataSetsGroupBox.ResumeLayout(false);
    166149      this.ResumeLayout(false);
    167150
    … …  
    171154
    172155    private System.Windows.Forms.SplitContainer splitContainer1;
    173     private System.Windows.Forms.GroupBox agentsGroupBox;
     156    private System.Windows.Forms.GroupBox dataSetsGroupBox;
    174157    private System.Windows.Forms.GroupBox detailsGroupBox;
    175158    private System.Windows.Forms.Button addButton;
    176     private TreeView agentTreeView;
    177159    private Button refreshButton;
    178     private ContextMenuStrip entryContextMenuStrip;
    179     private ToolStripMenuItem exportAllResultsToolStripMenuItem;
     160    private ListView dataSetsListView;
    180161  }
    181162}
Note: See TracChangeset for help on using the changeset viewer.