1463this.splitter = new Splitter(); 1485this.splitter = new Splitter();

1470this.splitter.Dock = DockStyle.Top; 1476this.splitter.Dock = DockStyle.Bottom; 1492this.splitter.Dock = DockStyle.Left; 1499this.splitter.Dock = DockStyle.Right; 1504Controls.AddRange(new Control[] { this.scrollBar, this.splitter, this.tabStrip }); 1506this.splitter.Size = new Size(SplitterSize, SplitterSize); 1507this.splitter.Paint += new PaintEventHandler(OnSplitterPaint); 1508this.splitter.DoubleClick += new EventHandler(OnSplitterDoubleClick); 1550bool updateSplitterPosition = (this.splitter.SplitPosition < this.splitter.MinSize); 1551if (this.splitter.Dock == DockStyle.Left || this.splitter.Dock == DockStyle.Right) 1553int minExtra = Math.Max(this.splitter.MinSize, Width - this.tabStrip.MaximumRequiredSize - this.splitter.Width); 1554if (this.splitter.MinExtra != minExtra) 1555this.splitter.MinExtra = minExtra; 1556updateSplitterPosition |= (this.itemsMinimized) ? /*minimized*/(this.splitter.SplitPosition != this.splitter.MinSize) : /*maximized*/(this.splitter.SplitPosition != Width - this.splitter.MinExtra); 1560int minExtra = Math.Max(this.splitter.MinSize, Height - this.tabStrip.MaximumRequiredSize - this.splitter.Height); 1561if (this.splitter.MinExtra != minExtra) 1562this.splitter.MinExtra = minExtra; 1563updateSplitterPosition |= (this.itemsMinimized) ? /*minimized*/(this.splitter.SplitPosition != this.splitter.MinSize) : /*maximized*/(this.splitter.SplitPosition != Height - this.splitter.MinExtra); 1584if (this.splitter.Dock == DockStyle.Left || this.splitter.Dock == DockStyle.Right) 1586if (!this.itemsMinimized && this.splitter.SplitPosition != Width - this.splitter.MinExtra) 1587this.splitter.SplitPosition = Width - this.splitter.MinExtra; 1591if (!this.itemsMinimized && this.splitter.SplitPosition != Height - this.splitter.MinExtra) 1592this.splitter.SplitPosition = Height - this.splitter.MinExtra; 1595if (this.itemsMinimized && this.splitter.SplitPosition > this.splitter.MinSize) 1596this.splitter.SplitPosition = this.splitter.MinSize; 1598if (this.splitter.SplitPosition < this.splitter.MinSize) 1599this.splitter.SplitPosition = this.splitter.MinSize; 1608this.splitter.SplitPosition = ((this.splitter.Dock == DockStyle.Left || this.splitter.Dock == DockStyle.Right) ? Width : Height) - this.splitter.MinExtra; 1611this.splitter.SplitPosition = this.splitter.MinSize; 1617if (this.splitter.Dock == DockStyle.Left || this.splitter.Dock == DockStyle.Right) 1619e.Graphics.DrawLine(SystemPens.ControlLightLight, 0, 0, 0, this.splitter.Height); 1622e.Graphics.DrawLine(SystemPens.ControlDark, SplitterSize - 2, 0, SplitterSize - 2, this.splitter.Height - 1); 1623e.Graphics.DrawLine(SystemPens.ControlDark, SplitterSize - 2, this.splitter.Height - 1, 0, this.splitter.Height - 1); 1625e.Graphics.DrawLine(SystemPens.ControlText, SplitterSize - 1, 0, SplitterSize - 1, this.splitter.Height); 1629e.Graphics.DrawLine(SystemPens.ControlLightLight, 0, 1, this.splitter.Width, 1); 1632e.Graphics.DrawLine(SystemPens.ControlDark, 0, SplitterSize - 2, this.splitter.Width, SplitterSize - 2); 1633e.Graphics.DrawLine(SystemPens.ControlDark, this.splitter.Width - 1, SplitterSize - 2, this.splitter.Width - 1, 1); 1635e.Graphics.DrawLine(SystemPens.ControlText, 0, SplitterSize - 1, this.splitter.Width, SplitterSize - 1); 1641if (this.splitter.Dock == DockStyle.Left || this.splitter.Dock == DockStyle.Right) 1643this.splitter.MinExtra = (Width - this.tabStrip.MaximumRequiredSize - this.splitter.Width); 1644this.splitter.MinSize = this.tabStrip.MinimumRequiredSize; 1646else if (this.splitter.Dock == DockStyle.Top || this.splitter.Dock == DockStyle.Bottom) 1648this.splitter.MinExtra = (Height - this.tabStrip.MaximumRequiredSize - this.splitter.Height); 1649this.splitter.MinSize = this.tabStrip.MinimumRequiredSize;