8.10.txt

《Microsoft Visual C# .NET 2003开发技巧大全》源代码

Listing 8.10 Expanding Docked Windows
private void Form1_MouseMove(object sender,
System.Windows.Forms.MouseEventArgs e)
{
if( (((ToolDockInfo)panelLeft.Tag).Expanded == true) &&
e.X >= (((ToolDockInfo)panelLeft.Tag).Max.Width) )
{
((ToolDockInfo)panelLeft.Tag).Expanded = false;
panelLeft.Size = ((ToolDockInfo) panelLeft.Tag).Min;
}
if( (((ToolDockInfo)tabControl1.Tag).Expanded == true)
&& e.X <= (this.Size.Width-((ToolDockInfo)tabControl1.Tag).Max.Width) )
{
((ToolDockInfo)tabControl1.Tag).Expanded = false;
tabControl1.Size = ((ToolDockInfo) tabControl1.Tag).Min;
}
}