Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.CEDMA.Core/AgentListView.Designer.cs @ 510

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

implemented #255 (CEDMA console should have a refresh button for the treeview with agents and results). Also deleted the obsolete timer in ConsoleEditor.

File size: 6.8 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.splitContainer1 = new System.Windows.Forms.SplitContainer();
51      this.agentsGroupBox = new System.Windows.Forms.GroupBox();
52      this.agentTreeView = new System.Windows.Forms.TreeView();
53      this.detailsGroupBox = new System.Windows.Forms.GroupBox();
54      this.addButton = new System.Windows.Forms.Button();
55      this.refreshButton = new System.Windows.Forms.Button();
56      this.splitContainer1.Panel1.SuspendLayout();
57      this.splitContainer1.Panel2.SuspendLayout();
58      this.splitContainer1.SuspendLayout();
59      this.agentsGroupBox.SuspendLayout();
60      this.SuspendLayout();
61      //
62      // splitContainer1
63      //
64      this.splitContainer1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
65                  | System.Windows.Forms.AnchorStyles.Left)
66                  | System.Windows.Forms.AnchorStyles.Right)));
67      this.splitContainer1.FixedPanel = System.Windows.Forms.FixedPanel.Panel1;
68      this.splitContainer1.Location = new System.Drawing.Point(0, 0);
69      this.splitContainer1.Name = "splitContainer1";
70      //
71      // splitContainer1.Panel1
72      //
73      this.splitContainer1.Panel1.Controls.Add(this.agentsGroupBox);
74      //
75      // splitContainer1.Panel2
76      //
77      this.splitContainer1.Panel2.Controls.Add(this.detailsGroupBox);
78      this.splitContainer1.Size = new System.Drawing.Size(276, 155);
79      this.splitContainer1.SplitterDistance = 135;
80      this.splitContainer1.TabIndex = 0;
81      //
82      // agentsGroupBox
83      //
84      this.agentsGroupBox.Controls.Add(this.agentTreeView);
85      this.agentsGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
86      this.agentsGroupBox.Location = new System.Drawing.Point(0, 0);
87      this.agentsGroupBox.Name = "agentsGroupBox";
88      this.agentsGroupBox.Size = new System.Drawing.Size(135, 155);
89      this.agentsGroupBox.TabIndex = 0;
90      this.agentsGroupBox.TabStop = false;
91      this.agentsGroupBox.Text = "&Agents";
92      //
93      // agentTreeView
94      //
95      this.agentTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
96      this.agentTreeView.Location = new System.Drawing.Point(3, 16);
97      this.agentTreeView.Name = "agentTreeView";
98      this.agentTreeView.Size = new System.Drawing.Size(129, 136);
99      this.agentTreeView.TabIndex = 0;
100      this.agentTreeView.BeforeExpand += new System.Windows.Forms.TreeViewCancelEventHandler(this.agentTreeView_BeforeExpand);
101      this.agentTreeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.agentTreeView_AfterSelect);
102      //
103      // detailsGroupBox
104      //
105      this.detailsGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
106      this.detailsGroupBox.Location = new System.Drawing.Point(0, 0);
107      this.detailsGroupBox.Name = "detailsGroupBox";
108      this.detailsGroupBox.Size = new System.Drawing.Size(137, 155);
109      this.detailsGroupBox.TabIndex = 0;
110      this.detailsGroupBox.TabStop = false;
111      this.detailsGroupBox.Text = "&Details";
112      //
113      // addButton
114      //
115      this.addButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
116      this.addButton.Location = new System.Drawing.Point(0, 161);
117      this.addButton.Name = "addButton";
118      this.addButton.Size = new System.Drawing.Size(75, 23);
119      this.addButton.TabIndex = 1;
120      this.addButton.Text = "&Add...";
121      this.addButton.UseVisualStyleBackColor = true;
122      this.addButton.Click += new System.EventHandler(this.addButton_Click);
123      //
124      // refreshButton
125      //
126      this.refreshButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
127      this.refreshButton.Location = new System.Drawing.Point(81, 161);
128      this.refreshButton.Name = "refreshButton";
129      this.refreshButton.Size = new System.Drawing.Size(75, 23);
130      this.refreshButton.TabIndex = 2;
131      this.refreshButton.Text = "&Refresh";
132      this.refreshButton.UseVisualStyleBackColor = true;
133      this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
134      //
135      // AgentListView
136      //
137      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
138      this.Controls.Add(this.refreshButton);
139      this.Controls.Add(this.addButton);
140      this.Controls.Add(this.splitContainer1);
141      this.Name = "AgentListView";
142      this.Size = new System.Drawing.Size(276, 184);
143      this.splitContainer1.Panel1.ResumeLayout(false);
144      this.splitContainer1.Panel2.ResumeLayout(false);
145      this.splitContainer1.ResumeLayout(false);
146      this.agentsGroupBox.ResumeLayout(false);
147      this.ResumeLayout(false);
148
149    }
150
151    #endregion
152
153    private System.Windows.Forms.SplitContainer splitContainer1;
154    private System.Windows.Forms.GroupBox agentsGroupBox;
155    private System.Windows.Forms.GroupBox detailsGroupBox;
156    private System.Windows.Forms.Button addButton;
157    private TreeView agentTreeView;
158    private Button refreshButton;
159  }
160}
Note: See TracBrowser for help on using the repository browser.