private void TileAsFullScreen(IWindow window) { Rectangle windowDomain = new Rectangle() { Top = Domain.Top + BorderWidth, Bottom = Domain.Bottom - BorderWidth, Left = Domain.Left + BorderWidth, Right = Domain.Right - BorderWidth }; window.SetLocation(windowDomain); }
public Rectangle Clone() { Rectangle clone = new Rectangle { Left = Left, Right = Right, Top = Top, Bottom = Bottom }; return clone; }
public override void Tile() { int numWindows = Windows.Count(); int windowHeight = Domain.Height / numWindows; int windowCount = 0; foreach (IWindow window in Windows) { int windowTop = Domain.Top + windowCount * windowHeight; Rectangle windowDomain = new Rectangle() { Left = Domain.Left, Right = Domain.Right, Top = windowTop, Bottom = windowTop + windowHeight, }; RenderInDomain(window, windowDomain); windowCount++; } }
public override void Tile() { int numWindows = Windows.Count(); int windowWidth = Domain.Width/numWindows; int windowCount = 0; foreach (IWindow window in Windows) { int windowLeft = Domain.Left + windowCount*windowWidth; Rectangle windowDomain = new Rectangle() { Left = windowLeft, Right = windowLeft + windowWidth, Top = Domain.Top, Bottom = Domain.Bottom }; RenderInDomain(window, windowDomain); windowCount++; } }
public void RenderInDomain(IWindow window, Rectangle windowDomain) { FullDomainLayout fullDomainLayout = new FullDomainLayout(0) {Domain = windowDomain}; //TODO Need a better way of adding a default border width than hard coding it here fullDomainLayout.AddWindow(window); }
public void SetLocation(Rectangle location) { Wmgr.SetLocationUnchangedOrder(WindowPtr, location.GetRect()); }