sampletabcontrol.cs

Magic Library 1.7,有说明文档

            this.hoverSelect.Location = new System.Drawing.Point(176, 248);
            this.hoverSelect.Name = "hoverSelect";
            this.hoverSelect.Size = new System.Drawing.Size(112, 24);
            this.hoverSelect.TabIndex = 1;
            this.hoverSelect.Text = "Hover Select";
            this.hoverSelect.CheckedChanged += new System.EventHandler(this.hoverSelect_CheckedChanged);
            // 
            // numericUpDown2
            // 
            this.numericUpDown2.Location = new System.Drawing.Point(544, 304);
            this.numericUpDown2.Name = "numericUpDown2";
            this.numericUpDown2.Size = new System.Drawing.Size(56, 20);
            this.numericUpDown2.TabIndex = 2;
            this.numericUpDown2.ValueChanged += new System.EventHandler(this.numericUpDown2_ValueChanged);
            // 
            // radioMultiForm
            // 
            this.radioMultiForm.Location = new System.Drawing.Point(16, 40);
            this.radioMultiForm.Name = "radioMultiForm";
            this.radioMultiForm.Size = new System.Drawing.Size(88, 24);
            this.radioMultiForm.TabIndex = 0;
            this.radioMultiForm.Text = "MultiForm";
            this.radioMultiForm.Click += new System.EventHandler(this.OnAppearanceMultiForm);
            // 
            // showClose
            // 
            this.showClose.Location = new System.Drawing.Point(176, 80);
            this.showClose.Name = "showClose";
            this.showClose.TabIndex = 1;
            this.showClose.Text = "Show Close";
            this.showClose.CheckedChanged += new System.EventHandler(this.showClose_CheckedChanged);
            // 
            // shrinkPages
            // 
            this.shrinkPages.Location = new System.Drawing.Point(176, 56);
            this.shrinkPages.Name = "shrinkPages";
            this.shrinkPages.TabIndex = 1;
            this.shrinkPages.Text = "Shrink pages";
            this.shrinkPages.CheckedChanged += new System.EventHandler(this.shrinkPages_CheckedChanged);
            // 
            // addPage
            // 
            this.addPage.Location = new System.Drawing.Point(312, 376);
            this.addPage.Name = "addPage";
            this.addPage.Size = new System.Drawing.Size(87, 24);
            this.addPage.TabIndex = 0;
            this.addPage.Text = "AddPage";
            this.addPage.Click += new System.EventHandler(this.OnAddPage);
            // 
            // clearAll
            // 
            this.clearAll.Location = new System.Drawing.Point(536, 376);
            this.clearAll.Name = "clearAll";
            this.clearAll.Size = new System.Drawing.Size(88, 24);
            this.clearAll.TabIndex = 0;
            this.clearAll.Text = "RemoveAll";
            this.clearAll.Click += new System.EventHandler(this.OnClearAll);
            // 
            // StyleGroup
            // 
            this.StyleGroup.Controls.AddRange(new System.Windows.Forms.Control[] {
                                                                                     this.radioPlain,
                                                                                     this.radioIDE});
            this.StyleGroup.Location = new System.Drawing.Point(8, 8);
            this.StyleGroup.Name = "StyleGroup";
            this.StyleGroup.Size = new System.Drawing.Size(144, 72);
            this.StyleGroup.TabIndex = 0;
            this.StyleGroup.TabStop = false;
            this.StyleGroup.Text = "Style";
            // 
            // radioPlain
            // 
            this.radioPlain.Location = new System.Drawing.Point(16, 40);
            this.radioPlain.Name = "radioPlain";
            this.radioPlain.Size = new System.Drawing.Size(56, 24);
            this.radioPlain.TabIndex = 0;
            this.radioPlain.Text = "Plain";
            this.radioPlain.Click += new System.EventHandler(this.OnStylePlain);
            // 
            // radioIDE
            // 
            this.radioIDE.Location = new System.Drawing.Point(16, 16);
            this.radioIDE.Name = "radioIDE";
            this.radioIDE.Size = new System.Drawing.Size(56, 24);
            this.radioIDE.TabIndex = 0;
            this.radioIDE.Text = "IDE";
            this.radioIDE.Click += new System.EventHandler(this.OnStyleIDE);
            // 
            // label4
            // 
            this.label4.Location = new System.Drawing.Point(456, 336);
            this.label4.Name = "label4";
            this.label4.Size = new System.Drawing.Size(80, 23);
            this.label4.TabIndex = 3;
            this.label4.Text = "Bottom Offset";
            this.label4.TextAlign = System.Drawing.ContentAlignment.MiddleRight;
            // 
            // label1
            // 
            this.label1.Location = new System.Drawing.Point(312, 304);
            this.label1.Name = "label1";
            this.label1.Size = new System.Drawing.Size(64, 23);
            this.label1.TabIndex = 3;
            this.label1.Text = "Left Offset";
            this.label1.TextAlign = System.Drawing.ContentAlignment.MiddleRight;
            // 
            // label2
            // 
            this.label2.Location = new System.Drawing.Point(472, 304);
            this.label2.Name = "label2";
            this.label2.Size = new System.Drawing.Size(64, 23);
            this.label2.TabIndex = 3;
            this.label2.Text = "Right Offset";
            this.label2.TextAlign = System.Drawing.ContentAlignment.MiddleRight;
            // 
            // label3
            // 
            this.label3.Location = new System.Drawing.Point(312, 336);
            this.label3.Name = "label3";
            this.label3.Size = new System.Drawing.Size(64, 23);
            this.label3.TabIndex = 3;
            this.label3.Text = "Top Offset";
            this.label3.TextAlign = System.Drawing.ContentAlignment.MiddleRight;
            // 
            // insetPlain
            // 
            this.insetPlain.Location = new System.Drawing.Point(176, 152);
            this.insetPlain.Name = "insetPlain";
            this.insetPlain.TabIndex = 1;
            this.insetPlain.Text = "Inset Plain";
            this.insetPlain.CheckedChanged += new System.EventHandler(this.insetPlain_CheckedChanged);
            // 
            // insetPagesOnly
            // 
            this.insetPagesOnly.Location = new System.Drawing.Point(176, 128);
            this.insetPagesOnly.Name = "insetPagesOnly";
            this.insetPagesOnly.Size = new System.Drawing.Size(120, 24);
            this.insetPagesOnly.TabIndex = 4;
            this.insetPagesOnly.Text = "Inset Pages Only";
            this.insetPagesOnly.CheckedChanged += new System.EventHandler(this.insetPagesOnly_CheckedChanged);
            // 
            // showArrows
            // 
            this.showArrows.Location = new System.Drawing.Point(176, 104);
            this.showArrows.Name = "showArrows";
            this.showArrows.TabIndex = 1;
            this.showArrows.Text = "Show Arrows";
            this.showArrows.CheckedChanged += new System.EventHandler(this.showArrows_CheckedChanged);
            // 
            // radioMultiDocument
            // 
            this.radioMultiDocument.Location = new System.Drawing.Point(16, 16);
            this.radioMultiDocument.Name = "radioMultiDocument";
            this.radioMultiDocument.TabIndex = 0;
            this.radioMultiDocument.Text = "MultiDocument";
            this.radioMultiDocument.Click += new System.EventHandler(this.OnAppearanceMultiDocument);
            // 
            // AppearanceGroup
            // 
            this.AppearanceGroup.Controls.AddRange(new System.Windows.Forms.Control[] {
                                                                                          this.radioMultiBox,
                                                                                          this.radioMultiForm,
                                                                                          this.radioMultiDocument});
            this.AppearanceGroup.Location = new System.Drawing.Point(8, 88);
            this.AppearanceGroup.Name = "AppearanceGroup";
            this.AppearanceGroup.Size = new System.Drawing.Size(144, 96);
            this.AppearanceGroup.TabIndex = 0;
            this.AppearanceGroup.TabStop = false;
            this.AppearanceGroup.Text = "Appearance";
            // 
            // exampleColors
            // 
            this.exampleColors.Controls.AddRange(new System.Windows.Forms.Control[] {
                                                                                        this.red,
                                                                                        this.blue,
                                                                                        this.normal});
            this.exampleColors.Location = new System.Drawing.Point(8, 336);
            this.exampleColors.Name = "exampleColors";
            this.exampleColors.Size = new System.Drawing.Size(232, 64);
            this.exampleColors.TabIndex = 1;
            this.exampleColors.TabStop = false;
            this.exampleColors.Text = "Example Colors";
            // 
            // red
            // 
            this.red.Location = new System.Drawing.Point(136, 24);
            this.red.Name = "red";
            this.red.Size = new System.Drawing.Size(88, 24);
            this.red.TabIndex = 0;
            this.red.Text = "Red";
            this.red.CheckedChanged += new System.EventHandler(this.red_CheckedChanged);
            // 
            // blue
            // 
            this.blue.Location = new System.Drawing.Point(80, 24);
            this.blue.Name = "blue";
            this.blue.Size = new System.Drawing.Size(88, 24);
            this.blue.TabIndex = 0;
            this.blue.Text = "Blue";
            this.blue.CheckedChanged += new System.EventHandler(this.blue_CheckedChanged);
            // 
            // normal
            // 
            this.normal.Location = new System.Drawing.Point(16, 24);
            this.normal.Name = "normal";
            this.normal.Size = new System.Drawing.Size(88, 24);
            this.normal.TabIndex = 0;
            this.normal.Text = "Normal";
            this.normal.CheckedChanged += new System.EventHandler(this.normal_CheckedChanged);
            // 
            // idePixelBorder
            // 
            this.idePixelBorder.Location = new System.Drawing.Point(176, 176);
            this.idePixelBorder.Name = "idePixelBorder";
            this.idePixelBorder.Size = new System.Drawing.Size(112, 24);
            this.idePixelBorder.TabIndex = 5;
            this.idePixelBorder.Text = "IDE Pixel Border";
            this.idePixelBorder.CheckedChanged += new System.EventHandler(this.idePixelBorder_CheckedChanged);
            // 
            // idePixelArea
            // 
            this.idePixelArea.Location = new System.Drawing.Point(176, 200);
            this.idePixelArea.Name = "idePixelArea";
            this.idePixelArea.Size = new System.Drawing.Size(112, 24);
            this.idePixelArea.TabIndex = 6;
            this.idePixelArea.Text = "IDE Pixel Area";
            this.idePixelArea.CheckedChanged += new System.EventHandler(this.idePixelArea_CheckedChanged);
            // 
            // multiLine
            // 
            this.multiLine.Location = new System.Drawing.Point(176, 272);
            this.multiLine.Name = "multiLine";
            this.multiLine.TabIndex = 7;
            this.multiLine.Text = "MultiLine";
            this.multiLine.CheckedChanged += new System.EventHandler(this.multiLine_CheckedChanged);
            // 
            // tabControl
            // 
            this.tabControl.HideTabsMode = Crownwood.Magic.Controls.TabControl.HideTabsModes.ShowAlways;
            this.tabControl.Location = new System.Drawing.Point(304, 16);
            this.tabControl.Name = "tabControl";
            this.tabControl.Size = new System.Drawing.Size(320, 272);
            this.tabControl.TabIndex = 8;
            // 
            // groupBox1
            // 
            this.groupBox1.Controls.AddRange(new System.Windows.Forms.Control[] {
                                                                                    this.tabHideWithoutMouse,
                                                                                    this.tabHideUsingLogic,
                                                                                    this.tabHideAlways,
                                                                                    this.tabShowAlways});
            this.groupBox1.Location = new System.Drawing.Point(8, 192);
            this.groupBox1.Name = "groupBox1";
            this.groupBox1.Size = new System.Drawing.Size(144, 120);
            this.groupBox1.TabIndex = 2;
            this.groupBox1.TabStop = false;
            this.groupBox1.Text = "HideTabsMode";
            // 
            // tabHideWithoutMouse
            // 
            this.tabHideWithoutMouse.Location = new System.Drawing.Point(16, 88);
            this.tabHideWithoutMouse.Name = "tabHideWithoutMouse";
            this.tabHideWithoutMouse.Size = new System.Drawing.Size(120, 24);