mirror of
https://git.do.srb2.org/STJr/ZoneBuilder.git
synced 2024-11-15 09:01:40 +00:00
108 lines
4.4 KiB
C#
108 lines
4.4 KiB
C#
namespace CodeImp.DoomBuilder.Controls
|
|
{
|
|
partial class DockersControl
|
|
{
|
|
/// <summary>
|
|
/// Required designer variable.
|
|
/// </summary>
|
|
private System.ComponentModel.IContainer components = null;
|
|
|
|
/// <summary>
|
|
/// Clean up any resources being used.
|
|
/// </summary>
|
|
/// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
|
|
protected override void Dispose(bool disposing)
|
|
{
|
|
if(disposing && (components != null))
|
|
{
|
|
components.Dispose();
|
|
}
|
|
base.Dispose(disposing);
|
|
}
|
|
|
|
#region Component Designer generated code
|
|
|
|
/// <summary>
|
|
/// Required method for Designer support - do not modify
|
|
/// the contents of this method with the code editor.
|
|
/// </summary>
|
|
private void InitializeComponent()
|
|
{
|
|
this.pinbutton = new System.Windows.Forms.Button();
|
|
this.splitter = new CodeImp.DoomBuilder.Controls.TransparentPanel();
|
|
this.tabs = new CodeImp.DoomBuilder.Controls.DockersTabsControl();
|
|
this.SuspendLayout();
|
|
//
|
|
// pinbutton
|
|
//
|
|
this.pinbutton.FlatStyle = System.Windows.Forms.FlatStyle.Popup;
|
|
this.pinbutton.Image = global::CodeImp.DoomBuilder.Properties.Resources.DockerCollapse;
|
|
this.pinbutton.Location = new System.Drawing.Point(3, 1);
|
|
this.pinbutton.Name = "pinbutton";
|
|
this.pinbutton.Size = new System.Drawing.Size(305, 14);
|
|
this.pinbutton.TabIndex = 0;
|
|
this.pinbutton.TabStop = false;
|
|
this.pinbutton.UseVisualStyleBackColor = true;
|
|
this.pinbutton.Click += new System.EventHandler(this.pinbutton_Click);
|
|
//
|
|
// splitter
|
|
//
|
|
this.splitter.BackColor = System.Drawing.SystemColors.Control;
|
|
this.splitter.Cursor = System.Windows.Forms.Cursors.SizeWE;
|
|
this.splitter.Dock = System.Windows.Forms.DockStyle.Left;
|
|
this.splitter.Location = new System.Drawing.Point(0, 0);
|
|
this.splitter.Name = "splitter";
|
|
this.splitter.Size = new System.Drawing.Size(4, 541);
|
|
this.splitter.TabIndex = 1;
|
|
this.splitter.MouseLeave += new System.EventHandler(this.RaiseMouseContainerLeave);
|
|
this.splitter.MouseMove += new System.Windows.Forms.MouseEventHandler(this.splitter_MouseMove);
|
|
this.splitter.MouseDown += new System.Windows.Forms.MouseEventHandler(this.splitter_MouseDown);
|
|
this.splitter.MouseUp += new System.Windows.Forms.MouseEventHandler(this.splitter_MouseUp);
|
|
this.splitter.MouseEnter += new System.EventHandler(this.RaiseMouseContainerEnter);
|
|
//
|
|
// tabs
|
|
//
|
|
this.tabs.Alignment = System.Windows.Forms.TabAlignment.Left;
|
|
this.tabs.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.tabs.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
|
|
this.tabs.Location = new System.Drawing.Point(0, 18);
|
|
this.tabs.Margin = new System.Windows.Forms.Padding(0);
|
|
this.tabs.Multiline = true;
|
|
this.tabs.Name = "tabs";
|
|
this.tabs.Padding = new System.Drawing.Point(10, 5);
|
|
this.tabs.SelectedIndex = 0;
|
|
this.tabs.Size = new System.Drawing.Size(308, 523);
|
|
this.tabs.TabIndex = 0;
|
|
this.tabs.TabStop = false;
|
|
this.tabs.MouseLeave += new System.EventHandler(this.RaiseMouseContainerLeave);
|
|
this.tabs.Selected += new System.Windows.Forms.TabControlEventHandler(this.tabs_Selected);
|
|
this.tabs.Enter += new System.EventHandler(this.tabs_Enter);
|
|
this.tabs.MouseUp += new System.Windows.Forms.MouseEventHandler(this.tabs_MouseUp);
|
|
this.tabs.SelectedIndexChanged += new System.EventHandler(this.tabs_SelectedIndexChanged);
|
|
this.tabs.MouseEnter += new System.EventHandler(this.RaiseMouseContainerEnter);
|
|
//
|
|
// DockersControl
|
|
//
|
|
this.AutoScaleDimensions = new System.Drawing.SizeF(96F, 96F);
|
|
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Dpi;
|
|
this.Controls.Add(this.pinbutton);
|
|
this.Controls.Add(this.splitter);
|
|
this.Controls.Add(this.tabs);
|
|
this.Name = "DockersControl";
|
|
this.Size = new System.Drawing.Size(308, 541);
|
|
this.MouseLeave += new System.EventHandler(this.RaiseMouseContainerLeave);
|
|
this.Resize += new System.EventHandler(this.DockersControl_Resize);
|
|
this.MouseEnter += new System.EventHandler(this.RaiseMouseContainerEnter);
|
|
this.ResumeLayout(false);
|
|
|
|
}
|
|
|
|
#endregion
|
|
|
|
private DockersTabsControl tabs;
|
|
private TransparentPanel splitter;
|
|
private System.Windows.Forms.Button pinbutton;
|
|
}
|
|
}
|