public ZPairWindow(
ZWindowManager manager,
FontAndColorService fontAndColorService,
ZWindow child1,
ZWindow child2,
ZWindowPosition child2Position,
GridLength child2Size)
: base(manager, fontAndColorService)
{
this.child1 = child1;
this.child2 = child2;
switch (child2Position)
{
case ZWindowPosition.Left:
this.ColumnDefinitions.Add(new ColumnDefinition {
Width = child2Size
});
this.ColumnDefinitions.Add(new ColumnDefinition());
SetColumn(this.child1, 1);
SetColumn(this.child2, 0);
break;
case ZWindowPosition.Right:
this.ColumnDefinitions.Add(new ColumnDefinition());
this.ColumnDefinitions.Add(new ColumnDefinition {
Width = child2Size
});
SetColumn(this.child1, 0);
SetColumn(this.child2, 1);
break;
case ZWindowPosition.Above:
this.RowDefinitions.Add(new RowDefinition {
Height = child2Size
});
this.RowDefinitions.Add(new RowDefinition());
SetRow(this.child1, 1);
SetRow(this.child2, 0);
break;
case ZWindowPosition.Below:
this.RowDefinitions.Add(new RowDefinition());
this.RowDefinitions.Add(new RowDefinition {
Height = child2Size
});
SetRow(this.child1, 0);
SetRow(this.child2, 1);
break;
}
child1.SetParentWindow(this);
child2.SetParentWindow(this);
this.Children.Add(child1);
this.Children.Add(child2);
}
private bool IsVertical(ZWindowPosition position)
{
switch (position)
{
case ZWindowPosition.Above:
case ZWindowPosition.Below:
return(true);
case ZWindowPosition.Left:
case ZWindowPosition.Right:
return(false);
default:
throw new InvalidOperationException("Invalid window position: " + position.ToString());
}
}
public ZPairWindow(
ZWindowManager manager,
FontAndColorService fontAndColorService,
ZWindow child1,
ZWindow child2,
ZWindowPosition child2Position,
GridLength child2Size)
: base(manager, fontAndColorService)
{
this.child1 = child1;
this.child2 = child2;
switch (child2Position)
{
case ZWindowPosition.Left:
this.ColumnDefinitions.Add(new ColumnDefinition { Width = child2Size });
this.ColumnDefinitions.Add(new ColumnDefinition());
SetColumn(this.child1, 1);
SetColumn(this.child2, 0);
break;
case ZWindowPosition.Right:
this.ColumnDefinitions.Add(new ColumnDefinition());
this.ColumnDefinitions.Add(new ColumnDefinition { Width = child2Size });
SetColumn(this.child1, 0);
SetColumn(this.child2, 1);
break;
case ZWindowPosition.Above:
this.RowDefinitions.Add(new RowDefinition { Height = child2Size });
this.RowDefinitions.Add(new RowDefinition());
SetRow(this.child1, 1);
SetRow(this.child2, 0);
break;
case ZWindowPosition.Below:
this.RowDefinitions.Add(new RowDefinition());
this.RowDefinitions.Add(new RowDefinition { Height = child2Size });
SetRow(this.child1, 0);
SetRow(this.child2, 1);
break;
}
child1.SetParentWindow(this);
child2.SetParentWindow(this);
this.Children.Add(child1);
this.Children.Add(child2);
}
internal ZPairWindow(ZWindowManager manager, ZWindow child1, ZWindow child2, ZWindowPosition child2Position, GridLength child2Size)
: base(manager)
{
if (child1 == null)
{
throw new ArgumentNullException("child1");
}
if (child2 == null)
{
throw new ArgumentNullException("child2");
}
this.child1 = child1;
this.child2 = child2;
switch (child2Position)
{
case ZWindowPosition.Left:
{
var col1 = new ColumnDefinition();
col1.Width = child2Size;
var col2 = new ColumnDefinition();
this.ColumnDefinitions.Add(col1);
this.ColumnDefinitions.Add(col2);
Grid.SetColumn(child2, 0);
Grid.SetColumn(child1, 1);
break;
}
case ZWindowPosition.Right:
{
var col1 = new ColumnDefinition();
var col2 = new ColumnDefinition();
col2.Width = child2Size;
this.ColumnDefinitions.Add(col1);
this.ColumnDefinitions.Add(col2);
Grid.SetColumn(child1, 0);
Grid.SetColumn(child2, 1);
break;
}
case ZWindowPosition.Above:
{
var row1 = new RowDefinition();
row1.Height = child2Size;
var row2 = new RowDefinition();
this.RowDefinitions.Add(row1);
this.RowDefinitions.Add(row2);
Grid.SetRow(child2, 0);
Grid.SetRow(child1, 1);
break;
}
case ZWindowPosition.Below:
{
var row1 = new RowDefinition();
var row2 = new RowDefinition();
row2.Height = child2Size;
this.RowDefinitions.Add(row1);
this.RowDefinitions.Add(row2);
Grid.SetRow(child1, 0);
Grid.SetRow(child2, 1);
break;
}
default:
throw new ArgumentException("Invalid ZWindowPosition: " + child2Position, "child2Position");
}
child1.SetWindowParent(this);
child2.SetWindowParent(this);
this.Children.Add(child1);
this.Children.Add(child2);
}
public ZWindow Open(
ZWindowType windowType,
ZWindow split = null,
ZWindowPosition position = ZWindowPosition.Left,
ZWindowSizeType sizeType = ZWindowSizeType.Fixed,
int size = 0)
{
if (windowType == ZWindowType.Pair)
{
throw new InvalidOperationException("ZWindows of type Pair cannot be created directly.");
}
if (root == null)
{
if (split != null)
{
throw new ArgumentException("'split' must be null if Root has not yet been created.", "split");
}
root = CreateNewWindow(windowType);
return(root);
}
else
{
if (split == null)
{
throw new ArgumentNullException("split", "'split' cannot be null if the Root has already been created.");
}
var newWindow = CreateNewWindow(windowType);
var parent = split.WindowParent;
GridLength splitSize;
switch (sizeType)
{
case ZWindowSizeType.Fixed:
var pixels = position == ZWindowPosition.Above || position == ZWindowPosition.Below
? size * newWindow.RowHeight
: size * newWindow.ColumnWidth;
splitSize = new GridLength(pixels, GridUnitType.Pixel);
break;
case ZWindowSizeType.Proportional:
splitSize = new GridLength((double)size / 100, GridUnitType.Star);
break;
default:
throw new ArgumentException("Invalid ZWindowSizeType: " + sizeType, "sizeType");
}
var parentGrid = (Grid)split.Parent;
parentGrid.Children.Remove(split);
var newPair = new ZPairWindow(this, split, newWindow, position, splitSize);
if (parent != null)
{
parent.Replace(split, newPair);
}
else
{
root = newPair;
}
parentGrid.Children.Add(newPair);
return(newWindow);
}
}
public ZWindow OpenWindow(
ZWindowKind kind,
ZWindow splitWindow = null,
ZWindowPosition position = ZWindowPosition.Left,
ZWindowSizeKind sizeKind = ZWindowSizeKind.Fixed,
int size = 0)
{
if (kind == ZWindowKind.Pair)
{
throw new InvalidOperationException("ZPairWindows can't be creatted directly");
}
if (rootWindow == null && splitWindow != null)
{
throw new InvalidOperationException("Cannot open a split window if the root window has not yet been created.");
}
if (rootWindow != null && splitWindow == null)
{
throw new InvalidOperationException("Cannot open a new root window if the root window has already bee created.");
}
var newWindow = CreateNewWindow(kind);
if (rootWindow == null)
{
rootWindow = newWindow;
}
else
{
GridLength splitSize;
switch (sizeKind)
{
case ZWindowSizeKind.Fixed:
var pixels = IsVertical(position)
? size * newWindow.RowHeight
: size * newWindow.ColumnWidth;
splitSize = new GridLength(pixels, GridUnitType.Pixel);
break;
case ZWindowSizeKind.Proportional:
splitSize = new GridLength(size / 100.0, GridUnitType.Star);
break;
default:
throw new InvalidOperationException("Invalid size kind: " + sizeKind.ToString());
}
Debug.Assert(splitWindow != null, "splitWindow != null");
var parentGrid = (Grid)splitWindow.Parent;
parentGrid.Children.Remove(splitWindow);
var oldParentWindow = splitWindow.ParentWindow as ZPairWindow;
var newParentWindow = new ZPairWindow(this, this.fontAndColorService, splitWindow, newWindow, position, splitSize);
if (oldParentWindow != null)
{
oldParentWindow.Replace(splitWindow, newParentWindow);
}
else
{
rootWindow = newParentWindow;
}
parentGrid.Children.Add(newParentWindow);
}
return(newWindow);
}
public ZWindow OpenWindow(
ZWindowKind kind,
ZWindow splitWindow = null,
ZWindowPosition position = ZWindowPosition.Left,
ZWindowSizeKind sizeKind = ZWindowSizeKind.Fixed,
int size = 0)
{
if (kind == ZWindowKind.Pair)
{
throw new InvalidOperationException("ZPairWindows can't be creatted directly");
}
if (rootWindow == null && splitWindow != null)
{
throw new InvalidOperationException("Cannot open a split window if the root window has not yet been created.");
}
if (rootWindow != null && splitWindow == null)
{
throw new InvalidOperationException("Cannot open a new root window if the root window has already bee created.");
}
var newWindow = CreateNewWindow(kind);
if (rootWindow == null)
{
rootWindow = newWindow;
}
else
{
GridLength splitSize;
switch (sizeKind)
{
case ZWindowSizeKind.Fixed:
var pixels = IsVertical(position)
? size * newWindow.RowHeight
: size * newWindow.ColumnWidth;
splitSize = new GridLength(pixels, GridUnitType.Pixel);
break;
case ZWindowSizeKind.Proportional:
splitSize = new GridLength(size / 100.0, GridUnitType.Star);
break;
default:
throw new InvalidOperationException("Invalid size kind: " + sizeKind.ToString());
}
Debug.Assert(splitWindow != null, "splitWindow != null");
var parentGrid = (Grid)splitWindow.Parent;
parentGrid.Children.Remove(splitWindow);
var oldParentWindow = splitWindow.ParentWindow as ZPairWindow;
var newParentWindow = new ZPairWindow(this, this.fontAndColorService, splitWindow, newWindow, position, splitSize);
if (oldParentWindow != null)
{
oldParentWindow.Replace(splitWindow, newParentWindow);
}
else
{
rootWindow = newParentWindow;
}
parentGrid.Children.Add(newParentWindow);
}
return newWindow;
}
private bool IsVertical(ZWindowPosition position)
{
switch (position)
{
case ZWindowPosition.Above:
case ZWindowPosition.Below:
return true;
case ZWindowPosition.Left:
case ZWindowPosition.Right:
return false;
default:
throw new InvalidOperationException("Invalid window position: " + position.ToString());
}
}
