/// <summary>
/// Depending on several factors the first time asking for
/// the current date time may take around five seconds and
/// cause the user interface to become unresponsive without
/// running code in a Task.
/// </summary>
/// <param name="sender"></param>
/// <param name="e"></param>
private async void GetCurrentDateTimeButton_Click(object sender, EventArgs e)
{
ElapsedTimeLabel.Text = "00-00-00";
ElapsedTimeLabel.Refresh();
var watch = new Stopwatch();
watch.Start();
var operation = new DateTimeFromInternet();
var result = await operation.Formatted();
watch.Stop();
ElapsedTimeLabel.Text = watch.Elapsed.ToString("mm\\:ss\\.ff");
if (Convert.ToDateTime(result) == DateTime.MinValue)
{
MessageBox.Show("Failed to get current date time");
}
else
{
MessageBox.Show(result);
}
}
private void ConventionalReadButton_Click(object sender, EventArgs e)
{
_customerBindingListView = null;
dataGridView1.DataSource = null;
ElapsedTimeLabel.Text = "00:00:00";
ElapsedTimeLabel.Refresh();
var watch = new Stopwatch();
watch.Start();
var customers = FileReader.ConventionalRead(_fileNameToReadFrom);
_customerBindingListView = new SortableBindingList <Customer>(customers);
_customersBindingSource.DataSource = _customerBindingListView;
dataGridView1.DataSource = _customersBindingSource;
dataGridView1.Columns["CustomerIdentifier"].Visible = false;
/*
* SuspendLayout and ResumeLayout will not really help
*/
if (ExpandColumnsCheckBox.Checked)
{
dataGridView1.SuspendLayout();
dataGridView1.ExpandColumns();
dataGridView1.ResumeLayout();
}
ElapsedTimeLabel.Text = watch.Elapsed.ToString("mm\\:ss\\.ff");
}
/// <summary>
/// Read file using StreamReader.ReadLineAsync, create a new customer in each
/// iteration in a while statement.
///
/// First three lines are to allow the developer to see the sources are cleared
/// before running the code to populate the DataGridView.
///
/// This method is slow from combining reading lines/parsing then adding a customer to a list.
/// </summary>
/// <param name="sender"></param>
/// <param name="e"></param>
private async void Example1Button_Click(object sender, EventArgs e)
{
//dataGridView1.RowHeadersWidthSizeMode = DataGridViewRowHeadersWidthSizeMode.EnableResizing;
var waitForm = new WaitForm()
{
TopLevel = true, TopMost = true
};
waitForm.Show(this);
waitForm.Top = (Top + (Height / 2)) - waitForm.Height / 2;
waitForm.Left = (Left + (Width / 2)) - waitForm.Width / 2;
ElapsedTimeLabel.Text = "00:00:00";
ElapsedTimeLabel.Refresh();
var watch = new Stopwatch();
watch.Start();
try
{
_customerBindingListView = null;
dataGridView1.DataSource = null;
await Task.Delay(500);
var customers = await FileReader.ReadAllLinesAsync(_fileNameToReadFrom).ConfigureAwait(false);
_customerBindingListView = new SortableBindingList <Customer>(customers.ToList());
dataGridView1.InvokeIfRequired(d =>
{
_customersBindingSource.DataSource = _customerBindingListView;
dataGridView1.DataSource = _customersBindingSource;
dataGridView1.Columns["CustomerIdentifier"].Visible = false;
dataGridView1.ExpandColumns();
});
}
finally
{
waitForm.Invoke((MethodInvoker)(() => waitForm.Dispose()));
}
watch.Stop();
ElapsedTimeLabel.Invoke((MethodInvoker)(() => ElapsedTimeLabel.Text = watch.Elapsed.ToString("mm\\:ss\\.ff")));
}
private void Example4Button_Click(object sender, EventArgs e)
{
ElapsedTimeLabel.Text = "00:00:00";
ElapsedTimeLabel.Refresh();
var watch = new Stopwatch();
watch.Start();
_customerBindingListView = new SortableBindingList <Customer>(new List <Customer>());
_customersBindingSource.DataSource = _customerBindingListView;
dataGridView1.Visible = false;
PleaseWaitLabel.Refresh();
try
{
_customerBindingListView = new SortableBindingList <Customer>(new List <Customer>());
_customersBindingSource.DataSource = _customerBindingListView;
dataGridView1.DataSource = _customersBindingSource;
foreach (var line in FileReader.ParseFile(_fileNameToReadFrom))
{
var lineParts = line.Result.Split(',');
_customerBindingListView.Add(
new Customer()
{
CustomerIdentifier = Convert.ToInt32(lineParts[0]),
CompanyName = lineParts[1],
ContactName = lineParts[2],
ContactTitle = lineParts[3],
City = lineParts[4],
Country = lineParts[5]
});
}
}
finally
{
dataGridView1.Visible = true;
dataGridView1.ExpandColumns();
watch.Stop();
ElapsedTimeLabel.Invoke((MethodInvoker)(() => ElapsedTimeLabel.Text = watch.Elapsed.ToString("mm\\:ss\\.ff")));
}
}
private async void Example2Button_Click(object sender, EventArgs e)
{
bindingNavigator1.BindingSource = null;
ElapsedTimeLabel.Text = "00:00:00";
ElapsedTimeLabel.Refresh();
var watch = new Stopwatch();
watch.Start();
_customerBindingListView = new SortableBindingList <Customer>(new List <Customer>());
_customersBindingSource.DataSource = _customerBindingListView;
dataGridView1.DataSource = _customersBindingSource;
int index = 0;
foreach (var line in FileReader.ParseFile(_fileNameToReadFrom))
{
var lineParts = line.Result.Split(',');
if (index % _delayIndex == 0)
{
await Task.Delay(1);
}
_customerBindingListView.Add(
new Customer()
{
CustomerIdentifier = Convert.ToInt32(lineParts[0]),
CompanyName = lineParts[1],
ContactName = lineParts[2],
ContactTitle = lineParts[3],
City = lineParts[4],
Country = lineParts[5]
});
index += 10;
}
watch.Stop();
bindingNavigator1.BindingSource = _customersBindingSource;
ElapsedTimeLabel.Invoke((MethodInvoker)(() => ElapsedTimeLabel.Text = watch.Elapsed.ToString("mm\\:ss\\.ff")));
}
private async void Example5AButton_Click(object sender, EventArgs e)
{
ElapsedTimeLabel.Text = "00:00:00";
ElapsedTimeLabel.Refresh();
var watch = new Stopwatch();
watch.Start();
var customers = new List <Customer>();
var results = await FileReader.GetContentAsync(_fileNameToReadFrom);
var lines = results.Split('\n');
foreach (var line in lines)
{
var lineParts = line.Split(',');
customers.Add(new Customer()
{
CustomerIdentifier = Convert.ToInt32(lineParts[0]),
CompanyName = lineParts[1],
ContactName = lineParts[2],
ContactTitle = lineParts[3],
City = lineParts[4],
Country = lineParts[5]
});
}
_customerBindingListView = new SortableBindingList <Customer>(customers.ToList());
_customersBindingSource.DataSource = _customerBindingListView;
dataGridView1.DataSource = _customersBindingSource;
watch.Stop();
ElapsedTimeLabel.Invoke((MethodInvoker)(() => ElapsedTimeLabel.Text = watch.Elapsed.ToString("mm\\:ss\\.ff")));
dataGridView1.RowValidating -= DataGridView1_RowValidating;
dataGridView1.RowValidating += DataGridView1_RowValidating;
RemoveCurrentButton.Enabled = true;
}
void ReleaseDesignerOutlets()
{
if (DescriptionLabel != null)
{
DescriptionLabel.Dispose();
DescriptionLabel = null;
}
if (ElapsedTimeLabel != null)
{
ElapsedTimeLabel.Dispose();
ElapsedTimeLabel = null;
}
if (HangUpButton != null)
{
HangUpButton.Dispose();
HangUpButton = null;
}
if (MuteButton != null)
{
MuteButton.Dispose();
MuteButton = null;
}
if (SpeakerButton != null)
{
SpeakerButton.Dispose();
SpeakerButton = null;
}
if (TalkingToLabel != null)
{
TalkingToLabel.Dispose();
TalkingToLabel = null;
}
}
private async void Example5Button_Click(object sender, EventArgs e)
{
var timeSpanList = new List <TimeSpan>();
ElapsedTimeLabel.Text = "00:00:00";
ElapsedTimeLabel.Refresh();
var watch = new Stopwatch();
watch.Start();
var results = await FileReader.GetContentAsync(_fileNameToReadFrom);
watch.Stop();
timeSpanList.Add(watch.Elapsed);
//Console.WriteLine($"Time to read file {watch.Elapsed.ToString("mm\\:ss\\.ff")}");
watch.Reset();
watch.Start();
var lines = results.Split('\n');
//Console.WriteLine($"Time to read file {watch.Elapsed.ToString("mm\\:ss\\.ff")}");
timeSpanList.Add(watch.Elapsed);
watch.Reset();
watch.Start();
int index = 0;
var customers = new List <Customer>();
foreach (var line in lines)
{
var lineParts = line.Split(',');
customers.Add(new Customer()
{
CustomerIdentifier = Convert.ToInt32(lineParts[0]),
CompanyName = lineParts[1],
ContactName = lineParts[2],
ContactTitle = lineParts[3],
City = lineParts[4],
Country = lineParts[5]
});
if (index % _delayIndex == 0)
{
await Task.Delay(1);
}
index += 10;
}
timeSpanList.Add(watch.Elapsed);
watch.Reset();
watch.Start();
_customerBindingListView = new SortableBindingList <Customer>(customers.ToList());
_customersBindingSource.DataSource = _customerBindingListView;
dataGridView1.DataSource = _customersBindingSource;
var totalSpan = new TimeSpan(timeSpanList.Sum(r => r.Ticks));
ElapsedTimeLabel.Text = totalSpan.ToString("mm\\:ss\\.ff");
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
this.statusStrip1 = new System.Windows.Forms.StatusStrip();
this.toolStripStatusLabel1 = new System.Windows.Forms.ToolStripStatusLabel();
this.toolStripProgressBar1 = new System.Windows.Forms.ToolStripProgressBar();
this.buttonOK = new System.Windows.Forms.Button();
this.buttonCancel = new System.Windows.Forms.Button();
this.logTextBox1 = new HydroSharedAddIn.gui.LogTextBox();
this.elapsedTimeLabel1 = new HydroSharedAddIn.gui.ElapsedTimeLabel();
this.currentSimulationLabel1 = new HydroSharedAddIn.gui.CurrentSimulationLabel();
this.statusStrip1.SuspendLayout();
this.SuspendLayout();
//
// statusStrip1
//
this.statusStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.toolStripStatusLabel1,
this.toolStripProgressBar1});
this.statusStrip1.Location = new System.Drawing.Point(0, 240);
this.statusStrip1.Name = "statusStrip1";
this.statusStrip1.Size = new System.Drawing.Size(404, 22);
this.statusStrip1.TabIndex = 0;
this.statusStrip1.Text = "statusStrip1";
//
// toolStripStatusLabel1
//
this.toolStripStatusLabel1.Name = "toolStripStatusLabel1";
this.toolStripStatusLabel1.Size = new System.Drawing.Size(39, 17);
this.toolStripStatusLabel1.Text = "Status";
//
// toolStripProgressBar1
//
this.toolStripProgressBar1.Name = "toolStripProgressBar1";
this.toolStripProgressBar1.Overflow = System.Windows.Forms.ToolStripItemOverflow.Always;
this.toolStripProgressBar1.Size = new System.Drawing.Size(200, 16);
this.toolStripProgressBar1.Style = System.Windows.Forms.ProgressBarStyle.Continuous;
//
// buttonOK
//
this.buttonOK.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
this.buttonOK.Location = new System.Drawing.Point(236, 214);
this.buttonOK.Name = "buttonOK";
this.buttonOK.Size = new System.Drawing.Size(75, 23);
this.buttonOK.TabIndex = 3;
this.buttonOK.Text = "OK";
this.buttonOK.UseVisualStyleBackColor = true;
//
// buttonCancel
//
this.buttonCancel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
this.buttonCancel.DialogResult = System.Windows.Forms.DialogResult.Cancel;
this.buttonCancel.Location = new System.Drawing.Point(317, 214);
this.buttonCancel.Name = "buttonCancel";
this.buttonCancel.Size = new System.Drawing.Size(75, 23);
this.buttonCancel.TabIndex = 4;
this.buttonCancel.Text = "Cancel";
this.buttonCancel.UseVisualStyleBackColor = true;
//
// logTextBox1
//
this.logTextBox1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.logTextBox1.Location = new System.Drawing.Point(0, 25);
this.logTextBox1.Multiline = true;
this.logTextBox1.Name = "logTextBox1";
this.logTextBox1.Size = new System.Drawing.Size(404, 183);
this.logTextBox1.TabIndex = 5;
//
// elapsedTimeLabel1
//
this.elapsedTimeLabel1.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
this.elapsedTimeLabel1.AutoSize = true;
this.elapsedTimeLabel1.Location = new System.Drawing.Point(293, 9);
this.elapsedTimeLabel1.Name = "elapsedTimeLabel1";
this.elapsedTimeLabel1.Size = new System.Drawing.Size(99, 13);
this.elapsedTimeLabel1.TabIndex = 2;
this.elapsedTimeLabel1.Text = "0 s";
//
// currentSimulationLabel1
//
this.currentSimulationLabel1.AutoSize = true;
this.currentSimulationLabel1.Location = new System.Drawing.Point(12, 9);
this.currentSimulationLabel1.Name = "currentSimulationLabel1";
this.currentSimulationLabel1.Size = new System.Drawing.Size(120, 13);
this.currentSimulationLabel1.TabIndex = 1;
this.currentSimulationLabel1.Text = "currentSimulationLabel1";
//
// SimulationForm
//
this.AcceptButton = this.buttonOK;
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.CancelButton = this.buttonCancel;
this.ClientSize = new System.Drawing.Size(404, 262);
this.ControlBox = false;
this.Controls.Add(this.logTextBox1);
this.Controls.Add(this.buttonCancel);
this.Controls.Add(this.buttonOK);
this.Controls.Add(this.elapsedTimeLabel1);
this.Controls.Add(this.currentSimulationLabel1);
this.Controls.Add(this.statusStrip1);
this.Name = "SimulationForm";
this.Text = "j349 Subreach Simulations";
this.statusStrip1.ResumeLayout(false);
this.statusStrip1.PerformLayout();
this.ResumeLayout(false);
this.PerformLayout();
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
this.label1 = new System.Windows.Forms.Label();
this.statusStrip1 = new System.Windows.Forms.StatusStrip();
this.toolStripStatusLabel1 = new System.Windows.Forms.ToolStripStatusLabel();
this.toolStripProgressBar1 = new System.Windows.Forms.ToolStripProgressBar();
this.buttonOK = new System.Windows.Forms.Button();
this.buttonCancel = new System.Windows.Forms.Button();
this.label2 = new System.Windows.Forms.Label();
this.tabPage1 = new System.Windows.Forms.TabPage();
this.tabPage2 = new System.Windows.Forms.TabPage();
this.tabPage3 = new System.Windows.Forms.TabPage();
this.tabPage4 = new System.Windows.Forms.TabPage();
this.tabPage5 = new System.Windows.Forms.TabPage();
this.tabPage6 = new System.Windows.Forms.TabPage();
this.tabPage7 = new System.Windows.Forms.TabPage();
this.tabPage8 = new System.Windows.Forms.TabPage();
this.tabPage9 = new System.Windows.Forms.TabPage();
this.tabPage10 = new System.Windows.Forms.TabPage();
this.tabPage11 = new System.Windows.Forms.TabPage();
this.tabPage12 = new System.Windows.Forms.TabPage();
this.logTextBox1 = new HydroSharedAddIn.gui.LogTextBox();
this.elapsedTimeLabel1 = new HydroSharedAddIn.gui.ElapsedTimeLabel();
this.currentSimulationLabel1 = new HydroSharedAddIn.gui.CurrentSimulationLabel();
this.statusStrip1.SuspendLayout();
this.SuspendLayout();
//
// label1
//
this.label1.AutoSize = true;
this.label1.Location = new System.Drawing.Point(12, 9);
this.label1.Name = "label1";
this.label1.Size = new System.Drawing.Size(93, 13);
this.label1.TabIndex = 0;
this.label1.Text = "Current Subreach:";
//
// statusStrip1
//
this.statusStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.toolStripStatusLabel1,
this.toolStripProgressBar1});
this.statusStrip1.Location = new System.Drawing.Point(0, 540);
this.statusStrip1.Name = "statusStrip1";
this.statusStrip1.Size = new System.Drawing.Size(635, 22);
this.statusStrip1.TabIndex = 3;
this.statusStrip1.Text = "statusStrip1";
//
// toolStripStatusLabel1
//
this.toolStripStatusLabel1.Name = "toolStripStatusLabel1";
this.toolStripStatusLabel1.Size = new System.Drawing.Size(118, 17);
this.toolStripStatusLabel1.Text = "toolStripStatusLabel1";
//
// toolStripProgressBar1
//
this.toolStripProgressBar1.Name = "toolStripProgressBar1";
this.toolStripProgressBar1.Size = new System.Drawing.Size(100, 16);
//
// buttonOK
//
this.buttonOK.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
this.buttonOK.Location = new System.Drawing.Point(227, 502);
this.buttonOK.Name = "buttonOK";
this.buttonOK.Size = new System.Drawing.Size(75, 23);
this.buttonOK.TabIndex = 4;
this.buttonOK.Text = "OK";
this.buttonOK.UseVisualStyleBackColor = true;
//
// buttonCancel
//
this.buttonCancel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
this.buttonCancel.Location = new System.Drawing.Point(308, 502);
this.buttonCancel.Name = "buttonCancel";
this.buttonCancel.Size = new System.Drawing.Size(75, 23);
this.buttonCancel.TabIndex = 5;
this.buttonCancel.Text = "Cancel";
this.buttonCancel.UseVisualStyleBackColor = true;
//
// label2
//
this.label2.AutoSize = true;
this.label2.Location = new System.Drawing.Point(305, 9);
this.label2.Name = "label2";
this.label2.Size = new System.Drawing.Size(74, 13);
this.label2.TabIndex = 6;
this.label2.Text = "Elapsed Time:";
//
// tabPage1
//
this.tabPage1.Location = new System.Drawing.Point(4, 22);
this.tabPage1.Name = "tabPage1";
this.tabPage1.Padding = new System.Windows.Forms.Padding(3);
this.tabPage1.Size = new System.Drawing.Size(603, 433);
this.tabPage1.TabIndex = 0;
this.tabPage1.Text = "tabPage1";
this.tabPage1.UseVisualStyleBackColor = true;
//
// tabPage2
//
this.tabPage2.Location = new System.Drawing.Point(4, 22);
this.tabPage2.Name = "tabPage2";
this.tabPage2.Padding = new System.Windows.Forms.Padding(3);
this.tabPage2.Size = new System.Drawing.Size(603, 433);
this.tabPage2.TabIndex = 1;
this.tabPage2.Text = "tabPage2";
this.tabPage2.UseVisualStyleBackColor = true;
//
// tabPage3
//
this.tabPage3.Location = new System.Drawing.Point(4, 22);
this.tabPage3.Name = "tabPage3";
this.tabPage3.Size = new System.Drawing.Size(603, 433);
this.tabPage3.TabIndex = 0;
this.tabPage3.Text = "log";
this.tabPage3.Visible = false;
//
// tabPage4
//
this.tabPage4.Location = new System.Drawing.Point(4, 22);
this.tabPage4.Name = "tabPage4";
this.tabPage4.Size = new System.Drawing.Size(603, 433);
this.tabPage4.TabIndex = 0;
this.tabPage4.Text = "log";
this.tabPage4.Visible = false;
//
// tabPage5
//
this.tabPage5.Location = new System.Drawing.Point(4, 22);
this.tabPage5.Name = "tabPage5";
this.tabPage5.Size = new System.Drawing.Size(603, 433);
this.tabPage5.TabIndex = 0;
this.tabPage5.Text = "log";
this.tabPage5.Visible = false;
//
// tabPage6
//
this.tabPage6.Location = new System.Drawing.Point(4, 22);
this.tabPage6.Name = "tabPage6";
this.tabPage6.Size = new System.Drawing.Size(603, 433);
this.tabPage6.TabIndex = 0;
this.tabPage6.Text = "log";
this.tabPage6.Visible = false;
//
// tabPage7
//
this.tabPage7.Location = new System.Drawing.Point(4, 22);
this.tabPage7.Name = "tabPage7";
this.tabPage7.Size = new System.Drawing.Size(603, 433);
this.tabPage7.TabIndex = 0;
this.tabPage7.Text = "log";
this.tabPage7.Visible = false;
//
// tabPage8
//
this.tabPage8.Location = new System.Drawing.Point(4, 22);
this.tabPage8.Name = "tabPage8";
this.tabPage8.Size = new System.Drawing.Size(603, 433);
this.tabPage8.TabIndex = 0;
this.tabPage8.Text = "log";
this.tabPage8.Visible = false;
//
// tabPage9
//
this.tabPage9.Location = new System.Drawing.Point(4, 22);
this.tabPage9.Name = "tabPage9";
this.tabPage9.Size = new System.Drawing.Size(603, 433);
this.tabPage9.TabIndex = 0;
this.tabPage9.Text = "log";
this.tabPage9.Visible = false;
//
// tabPage10
//
this.tabPage10.Location = new System.Drawing.Point(4, 22);
this.tabPage10.Name = "tabPage10";
this.tabPage10.Size = new System.Drawing.Size(603, 433);
this.tabPage10.TabIndex = 0;
this.tabPage10.Text = "log";
this.tabPage10.Visible = false;
//
// tabPage11
//
this.tabPage11.Location = new System.Drawing.Point(4, 22);
this.tabPage11.Name = "tabPage11";
this.tabPage11.Size = new System.Drawing.Size(603, 433);
this.tabPage11.TabIndex = 0;
this.tabPage11.Text = "log";
this.tabPage11.Visible = false;
//
// tabPage12
//
this.tabPage12.Location = new System.Drawing.Point(4, 22);
this.tabPage12.Name = "tabPage12";
this.tabPage12.Size = new System.Drawing.Size(603, 433);
this.tabPage12.TabIndex = 0;
this.tabPage12.Text = "log";
this.tabPage12.Visible = false;
//
// logTextBox1
//
this.logTextBox1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.logTextBox1.Location = new System.Drawing.Point(12, 38);
this.logTextBox1.Multiline = true;
this.logTextBox1.Name = "logTextBox1";
this.logTextBox1.Size = new System.Drawing.Size(611, 458);
this.logTextBox1.TabIndex = 9;
//
// elapsedTimeLabel1
//
this.elapsedTimeLabel1.AutoSize = true;
this.elapsedTimeLabel1.Location = new System.Drawing.Point(403, 9);
this.elapsedTimeLabel1.Name = "elapsedTimeLabel1";
this.elapsedTimeLabel1.Size = new System.Drawing.Size(99, 13);
this.elapsedTimeLabel1.TabIndex = 8;
this.elapsedTimeLabel1.Text = "elapsedTimeLabel1";
//
// currentSimulationLabel1
//
this.currentSimulationLabel1.AutoSize = true;
this.currentSimulationLabel1.Location = new System.Drawing.Point(123, 9);
this.currentSimulationLabel1.Name = "currentSimulationLabel1";
this.currentSimulationLabel1.Size = new System.Drawing.Size(120, 13);
this.currentSimulationLabel1.TabIndex = 1;
this.currentSimulationLabel1.Text = "currentSimulationLabel1";
//
// RunDialog
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.ClientSize = new System.Drawing.Size(635, 300);
this.Controls.Add(this.logTextBox1);
this.Controls.Add(this.elapsedTimeLabel1);
this.Controls.Add(this.label2);
this.Controls.Add(this.buttonCancel);
this.Controls.Add(this.buttonOK);
this.Controls.Add(this.statusStrip1);
this.Controls.Add(this.currentSimulationLabel1);
this.Controls.Add(this.label1);
this.Name = "RunDialog";
this.Text = "j349 Subreach Simulations";
this.statusStrip1.ResumeLayout(false);
this.statusStrip1.PerformLayout();
this.ResumeLayout(false);
this.PerformLayout();
}