michal/tbf
2
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Schematic drawing with live function, bench control by mouse, Dijkstra algo, vacuum, etc.

Browse Source
This commit is contained in:
Milan Hanajik
2020-06-14 13:01:53 +02:00
parent 2945049288
commit 1f67899a5c
223 changed files with 5684 additions and 3772 deletions
Download Patch File Download Diff File Expand all files Collapse all files
TBF/UI/Bench/EditSchDrawing/EditSchDrawingDlg.Designer.cs
Generated
+89 -60
View File
@@ -29,11 +29,13 @@
private void InitializeComponent()
{
this.splitContainer1 = new System.Windows.Forms.SplitContainer();
this.schDrawingCtrl = new SchematicDrawing.SchematicDrawingCtrl();
this.drawingCtrl = new SchematicDrawing.SchematicDrawingCtrl();
this.splitContainer2 = new System.Windows.Forms.SplitContainer();
this.sharedButtons = new TBF.UI.Shared.SharedButtons();
this.splitContainer3 = new System.Windows.Forms.SplitContainer();
this.addEdgeButton = new System.Windows.Forms.Button();
this.radioButton9 = new System.Windows.Forms.RadioButton();
this.radioButton8 = new System.Windows.Forms.RadioButton();
this.deletePipeButton = new System.Windows.Forms.Button();
this.radioButton7 = new System.Windows.Forms.RadioButton();
this.radioButton6 = new System.Windows.Forms.RadioButton();
this.radioButton5 = new System.Windows.Forms.RadioButton();
@@ -74,7 +76,7 @@
//
// splitContainer1.Panel1
//
this.splitContainer1.Panel1.Controls.Add(this.schDrawingCtrl);
this.splitContainer1.Panel1.Controls.Add(this.drawingCtrl);
//
// splitContainer1.Panel2
//
@@ -83,23 +85,28 @@
this.splitContainer1.SplitterDistance = 610;
this.splitContainer1.TabIndex = 0;
//
// schDrawingCtrl
// drawingCtrl
//
this.schDrawingCtrl.Dock = System.Windows.Forms.DockStyle.Fill;
this.schDrawingCtrl.EdgesL = null;
this.schDrawingCtrl.EdgesM = null;
this.schDrawingCtrl.EdgesS = null;
this.schDrawingCtrl.EdgesXL = null;
this.schDrawingCtrl.Font = new System.Drawing.Font("Microsoft Sans Serif", 9.75F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(238)));
this.schDrawingCtrl.Location = new System.Drawing.Point(0, 0);
this.schDrawingCtrl.Name = "schDrawingCtrl";
this.schDrawingCtrl.SelectedItemName = "";
this.schDrawingCtrl.Size = new System.Drawing.Size(610, 435);
this.schDrawingCtrl.TabIndex = 0;
this.schDrawingCtrl.MouseClick += new System.Windows.Forms.MouseEventHandler(this.schDrawingCtrl_MouseClick);
this.schDrawingCtrl.MouseDoubleClick += new System.Windows.Forms.MouseEventHandler(this.schDrawingCtrl_MouseDoubleClick);
this.schDrawingCtrl.MouseDown += new System.Windows.Forms.MouseEventHandler(this.EditSchDrawingDlg_MouseDown);
this.schDrawingCtrl.MouseUp += new System.Windows.Forms.MouseEventHandler(this.schDrawingCtrl_MouseUp);
this.drawingCtrl.BenchControlMode = false;
this.drawingCtrl.Dock = System.Windows.Forms.DockStyle.Fill;
this.drawingCtrl.EditMode = false;
this.drawingCtrl.Font = new System.Drawing.Font("Microsoft Sans Serif", 9.75F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(238)));
this.drawingCtrl.Location = new System.Drawing.Point(0, 0);
this.drawingCtrl.MeasuredValues = null;
this.drawingCtrl.Name = "drawingCtrl";
this.drawingCtrl.PipesL = new string[0];
this.drawingCtrl.PipesM = new string[0];
this.drawingCtrl.PipesS = new string[0];
this.drawingCtrl.PipesXL = new string[0];
this.drawingCtrl.SelectedElement = SchematicDrawing.Element.None;
this.drawingCtrl.SelectedItem = null;
this.drawingCtrl.Setpoints = null;
this.drawingCtrl.Size = new System.Drawing.Size(610, 435);
this.drawingCtrl.SupressRedraws = false;
this.drawingCtrl.TabIndex = 0;
this.drawingCtrl.MouseClick += new System.Windows.Forms.MouseEventHandler(this.drawingCtrl_MouseClick);
this.drawingCtrl.MouseDown += new System.Windows.Forms.MouseEventHandler(this.drawingCtrl_MouseDown);
this.drawingCtrl.MouseUp += new System.Windows.Forms.MouseEventHandler(this.drawingCtrl_MouseUp);
//
// splitContainer2
//
@@ -139,7 +146,9 @@
//
// splitContainer3.Panel1
//
this.splitContainer3.Panel1.Controls.Add(this.addEdgeButton);
this.splitContainer3.Panel1.Controls.Add(this.radioButton9);
this.splitContainer3.Panel1.Controls.Add(this.radioButton8);
this.splitContainer3.Panel1.Controls.Add(this.deletePipeButton);
this.splitContainer3.Panel1.Controls.Add(this.radioButton7);
this.splitContainer3.Panel1.Controls.Add(this.radioButton6);
this.splitContainer3.Panel1.Controls.Add(this.radioButton5);
@@ -163,67 +172,87 @@
this.splitContainer3.SplitterDistance = 138;
this.splitContainer3.TabIndex = 0;
//
// addEdgeButton
// radioButton9
//
this.addEdgeButton.Enabled = false;
this.addEdgeButton.Location = new System.Drawing.Point(5, 118);
this.addEdgeButton.Name = "addEdgeButton";
this.addEdgeButton.Size = new System.Drawing.Size(68, 20);
this.addEdgeButton.TabIndex = 11;
this.addEdgeButton.Text = "Add edge";
this.addEdgeButton.UseVisualStyleBackColor = true;
this.addEdgeButton.Click += new System.EventHandler(this.addEdgeButton_Click);
this.radioButton9.AutoSize = true;
this.radioButton9.Enabled = false;
this.radioButton9.Location = new System.Drawing.Point(78, 123);
this.radioButton9.Name = "radioButton9";
this.radioButton9.Size = new System.Drawing.Size(38, 17);
this.radioButton9.TabIndex = 16;
this.radioButton9.TabStop = true;
this.radioButton9.Text = "XL";
this.radioButton9.UseVisualStyleBackColor = true;
//
// radioButton8
//
this.radioButton8.AutoSize = true;
this.radioButton8.Enabled = false;
this.radioButton8.Location = new System.Drawing.Point(78, 108);
this.radioButton8.Name = "radioButton8";
this.radioButton8.Size = new System.Drawing.Size(31, 17);
this.radioButton8.TabIndex = 15;
this.radioButton8.TabStop = true;
this.radioButton8.Text = "L";
this.radioButton8.UseVisualStyleBackColor = true;
//
// deletePipeButton
//
this.deletePipeButton.Enabled = false;
this.deletePipeButton.Location = new System.Drawing.Point(5, 118);
this.deletePipeButton.Name = "deletePipeButton";
this.deletePipeButton.Size = new System.Drawing.Size(68, 20);
this.deletePipeButton.TabIndex = 11;
this.deletePipeButton.Text = "Delete ed.";
this.deletePipeButton.UseVisualStyleBackColor = true;
this.deletePipeButton.Click += new System.EventHandler(this.deletePipeButton_Click);
//
// radioButton7
//
this.radioButton7.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
this.radioButton7.AutoSize = true;
this.radioButton7.Enabled = false;
this.radioButton7.Location = new System.Drawing.Point(78, 105);
this.radioButton7.Location = new System.Drawing.Point(78, 93);
this.radioButton7.Name = "radioButton7";
this.radioButton7.Size = new System.Drawing.Size(38, 17);
this.radioButton7.Size = new System.Drawing.Size(34, 17);
this.radioButton7.TabIndex = 14;
this.radioButton7.TabStop = true;
this.radioButton7.Text = "XL";
this.radioButton7.Text = "M";
this.radioButton7.UseVisualStyleBackColor = true;
//
// radioButton6
//
this.radioButton6.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
this.radioButton6.AutoSize = true;
this.radioButton6.Enabled = false;
this.radioButton6.Location = new System.Drawing.Point(78, 89);
this.radioButton6.Location = new System.Drawing.Point(78, 78);
this.radioButton6.Name = "radioButton6";
this.radioButton6.Size = new System.Drawing.Size(31, 17);
this.radioButton6.Size = new System.Drawing.Size(32, 17);
this.radioButton6.TabIndex = 13;
this.radioButton6.TabStop = true;
this.radioButton6.Text = "L";
this.radioButton6.Text = "S";
this.radioButton6.UseVisualStyleBackColor = true;
//
// radioButton5
//
this.radioButton5.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
this.radioButton5.AutoSize = true;
this.radioButton5.Enabled = false;
this.radioButton5.Location = new System.Drawing.Point(78, 73);
this.radioButton5.Location = new System.Drawing.Point(78, 63);
this.radioButton5.Name = "radioButton5";
this.radioButton5.Size = new System.Drawing.Size(34, 17);
this.radioButton5.Size = new System.Drawing.Size(45, 17);
this.radioButton5.TabIndex = 12;
this.radioButton5.TabStop = true;
this.radioButton5.Text = "M";
this.radioButton5.Text = "setp";
this.radioButton5.UseVisualStyleBackColor = true;
//
// radioButton4
//
this.radioButton4.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
this.radioButton4.AutoSize = true;
this.radioButton4.Enabled = false;
this.radioButton4.Location = new System.Drawing.Point(78, 57);
this.radioButton4.Location = new System.Drawing.Point(78, 48);
this.radioButton4.Name = "radioButton4";
this.radioButton4.Size = new System.Drawing.Size(32, 17);
this.radioButton4.Size = new System.Drawing.Size(47, 17);
this.radioButton4.TabIndex = 11;
this.radioButton4.TabStop = true;
this.radioButton4.Text = "S";
this.radioButton4.Text = "msrd";
this.radioButton4.UseVisualStyleBackColor = true;
//
// sizeButton
@@ -250,41 +279,38 @@
//
// radioButton3
//
this.radioButton3.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
this.radioButton3.AutoSize = true;
this.radioButton3.Enabled = false;
this.radioButton3.Location = new System.Drawing.Point(78, 41);
this.radioButton3.Location = new System.Drawing.Point(78, 33);
this.radioButton3.Name = "radioButton3";
this.radioButton3.Size = new System.Drawing.Size(42, 17);
this.radioButton3.Size = new System.Drawing.Size(35, 17);
this.radioButton3.TabIndex = 8;
this.radioButton3.TabStop = true;
this.radioButton3.Text = "val.";
this.radioButton3.Text = "lbl";
this.radioButton3.UseVisualStyleBackColor = true;
//
// radioButton2
//
this.radioButton2.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
this.radioButton2.AutoSize = true;
this.radioButton2.Enabled = false;
this.radioButton2.Location = new System.Drawing.Point(78, 25);
this.radioButton2.Location = new System.Drawing.Point(78, 18);
this.radioButton2.Name = "radioButton2";
this.radioButton2.Size = new System.Drawing.Size(42, 17);
this.radioButton2.Size = new System.Drawing.Size(48, 17);
this.radioButton2.TabIndex = 7;
this.radioButton2.TabStop = true;
this.radioButton2.Text = "lab.";
this.radioButton2.Text = "body";
this.radioButton2.UseVisualStyleBackColor = true;
//
// radioButton1
//
this.radioButton1.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
this.radioButton1.AutoSize = true;
this.radioButton1.Enabled = false;
this.radioButton1.Location = new System.Drawing.Point(78, 9);
this.radioButton1.Location = new System.Drawing.Point(78, 3);
this.radioButton1.Name = "radioButton1";
this.radioButton1.Size = new System.Drawing.Size(42, 17);
this.radioButton1.Size = new System.Drawing.Size(46, 17);
this.radioButton1.TabIndex = 6;
this.radioButton1.TabStop = true;
this.radioButton1.Text = "obj.";
this.radioButton1.Text = "auto";
this.radioButton1.UseVisualStyleBackColor = true;
//
// ccwButton
@@ -373,11 +399,12 @@
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.ClientSize = new System.Drawing.Size(735, 435);
this.Controls.Add(this.splitContainer1);
this.KeyPreview = true;
this.Name = "EditSchDrawingDlg";
this.StartPosition = System.Windows.Forms.FormStartPosition.CenterParent;
this.Text = "Schematic drawing";
this.Load += new System.EventHandler(this.EditSchDrawingDlg_Load);
this.MouseDown += new System.Windows.Forms.MouseEventHandler(this.EditSchDrawingDlg_MouseDown);
this.MouseDown += new System.Windows.Forms.MouseEventHandler(this.drawingCtrl_MouseDown);
this.splitContainer1.Panel1.ResumeLayout(false);
this.splitContainer1.Panel2.ResumeLayout(false);
((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
@@ -398,7 +425,7 @@
#endregion
private System.Windows.Forms.SplitContainer splitContainer1;
private SchematicDrawing.SchematicDrawingCtrl schDrawingCtrl;
private SchematicDrawing.SchematicDrawingCtrl drawingCtrl;
private System.Windows.Forms.SplitContainer splitContainer2;
private Shared.SharedButtons sharedButtons;
private System.Windows.Forms.ListBox itemsListBox;
@@ -414,10 +441,12 @@
private System.Windows.Forms.RadioButton radioButton1;
private System.Windows.Forms.Button sizeButton;
private System.Windows.Forms.Button mirrorButton;
private System.Windows.Forms.Button addEdgeButton;
private System.Windows.Forms.Button deletePipeButton;
private System.Windows.Forms.RadioButton radioButton7;
private System.Windows.Forms.RadioButton radioButton6;
private System.Windows.Forms.RadioButton radioButton5;
private System.Windows.Forms.RadioButton radioButton4;
private System.Windows.Forms.RadioButton radioButton8;
private System.Windows.Forms.RadioButton radioButton9;
}
}