Free cookie consent management tool by TermsFeed Policy Generator

source: branches/HL-3.2-MonoMigration/HeuristicLab.CEDMA.Core/AgentListView.Designer.cs @ 2966

Last change on this file since 2966 was 514, checked in by gkronber, 16 years ago

added a very crude exporter in preparation for ticket #200

File size: 8.0 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2008 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
4 *
5 * This file is part of HeuristicLab.
6 *
7 * HeuristicLab is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11 *
12 * HeuristicLab is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
19 */
20#endregion
21
22using System;
23using System.Windows.Forms;
24
25namespace HeuristicLab.CEDMA.Core {
26  partial class AgentListView {
27    /// <summary>
28    /// Required designer variable.
29    /// </summary>
30    private System.ComponentModel.IContainer components = null;
31
32    /// <summary>
33    /// Clean up any resources being used.
34    /// </summary>
35    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
36    protected override void Dispose(bool disposing) {
37      if(disposing && (components != null)) {
38        components.Dispose();
39      }
40      base.Dispose(disposing);
41    }
42
43    #region Windows Form Designer generated code
44
45    /// <summary>
46    /// Required method for Designer support - do not modify
47    /// the contents of this method with the code editor.
48    /// </summary>
49    private void InitializeComponent() {
50      this.components = new System.ComponentModel.Container();
51      this.splitContainer1 = new System.Windows.Forms.SplitContainer();
52      this.agentsGroupBox = new System.Windows.Forms.GroupBox();
53      this.agentTreeView = new System.Windows.Forms.TreeView();
54      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();
59      this.splitContainer1.Panel1.SuspendLayout();
60      this.splitContainer1.Panel2.SuspendLayout();
61      this.splitContainer1.SuspendLayout();
62      this.agentsGroupBox.SuspendLayout();
63      this.entryContextMenuStrip.SuspendLayout();
64      this.SuspendLayout();
65      //
66      // splitContainer1
67      //
68      this.splitContainer1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
69                  | System.Windows.Forms.AnchorStyles.Left)
70                  | System.Windows.Forms.AnchorStyles.Right)));
71      this.splitContainer1.FixedPanel = System.Windows.Forms.FixedPanel.Panel1;
72      this.splitContainer1.Location = new System.Drawing.Point(0, 0);
73      this.splitContainer1.Name = "splitContainer1";
74      //
75      // splitContainer1.Panel1
76      //
77      this.splitContainer1.Panel1.Controls.Add(this.agentsGroupBox);
78      //
79      // splitContainer1.Panel2
80      //
81      this.splitContainer1.Panel2.Controls.Add(this.detailsGroupBox);
82      this.splitContainer1.Size = new System.Drawing.Size(276, 155);
83      this.splitContainer1.SplitterDistance = 135;
84      this.splitContainer1.TabIndex = 0;
85      //
86      // agentsGroupBox
87      //
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";
96      //
97      // agentTreeView
98      //
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);
106      //
107      // detailsGroupBox
108      //
109      this.detailsGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
110      this.detailsGroupBox.Location = new System.Drawing.Point(0, 0);
111      this.detailsGroupBox.Name = "detailsGroupBox";
112      this.detailsGroupBox.Size = new System.Drawing.Size(137, 155);
113      this.detailsGroupBox.TabIndex = 0;
114      this.detailsGroupBox.TabStop = false;
115      this.detailsGroupBox.Text = "&Details";
116      //
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
154      //
155      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
156      this.Controls.Add(this.refreshButton);
157      this.Controls.Add(this.addButton);
158      this.Controls.Add(this.splitContainer1);
159      this.Name = "AgentListView";
160      this.Size = new System.Drawing.Size(276, 184);
161      this.splitContainer1.Panel1.ResumeLayout(false);
162      this.splitContainer1.Panel2.ResumeLayout(false);
163      this.splitContainer1.ResumeLayout(false);
164      this.agentsGroupBox.ResumeLayout(false);
165      this.entryContextMenuStrip.ResumeLayout(false);
166      this.ResumeLayout(false);
167
168    }
169
170    #endregion
171
172    private System.Windows.Forms.SplitContainer splitContainer1;
173    private System.Windows.Forms.GroupBox agentsGroupBox;
174    private System.Windows.Forms.GroupBox detailsGroupBox;
175    private System.Windows.Forms.Button addButton;
176    private TreeView agentTreeView;
177    private Button refreshButton;
178    private ContextMenuStrip entryContextMenuStrip;
179    private ToolStripMenuItem exportAllResultsToolStripMenuItem;
180  }
181}
Note: See TracBrowser for help on using the repository browser.