gui-cs.Terminal.Gui/Terminal.Gui/Core/Border.cs

using System;

namespace Terminal.Gui {
	/// <summary>
	/// Specifies the border style for a <see cref="View"/> and to be used by the <see cref="Border"/> class.
	/// </summary>
	public enum BorderStyle {
		/// <summary>
		/// No border is drawn.
		/// </summary>
		None,
		/// <summary>
		/// The border is drawn with a single line limits.
		/// </summary>
		Single,
		/// <summary>
		/// The border is drawn with a double line limits.
		/// </summary>
		Double
	}

	/// <summary>
	/// Describes the thickness of a frame around a rectangle. Four <see cref="int"/> values describe
	///  the <see cref="Left"/>, <see cref="Top"/>, <see cref="Right"/>, and <see cref="Bottom"/> sides
	///  of the rectangle, respectively.
	/// </summary>
	public struct Thickness {
		/// <summary>
		/// Gets or sets the width, in integers, of the left side of the bounding rectangle.
		/// </summary>
		public int Left;
		/// <summary>
		/// Gets or sets the width, in integers, of the upper side of the bounding rectangle.
		/// </summary>
		public int Top;
		/// <summary>
		/// Gets or sets the width, in integers, of the right side of the bounding rectangle.
		/// </summary>
		public int Right;
		/// <summary>
		/// Gets or sets the width, in integers, of the lower side of the bounding rectangle.
		/// </summary>
		public int Bottom;

		/// <summary>
		/// Initializes a new instance of the <see cref="Thickness"/> structure that has the
		///  specified uniform length on each side.
		/// </summary>
		/// <param name="length"></param>
		public Thickness (int length)
		{
			if (length < 0) {
				throw new ArgumentException ("Invalid value for this property.");
			}

			Left = Top = Right = Bottom = length;
		}

		/// <summary>
		/// Initializes a new instance of the <see cref="Thickness"/> structure that has specific
		///  lengths (supplied as a <see cref="int"/>) applied to each side of the rectangle.
		/// </summary>
		/// <param name="left"></param>
		/// <param name="top"></param>
		/// <param name="right"></param>
		/// <param name="bottom"></param>
		public Thickness (int left, int top, int right, int bottom)
		{
			if (left < 0 || top < 0 || right < 0 || bottom < 0) {
				throw new ArgumentException ("Invalid value for this property.");
			}

			Left = left;
			Top = top;
			Right = right;
			Bottom = bottom;
		}
	}

	/// <summary>
	/// Draws a border, background, or both around another element.
	/// </summary>
	public class Border {
		private int marginFrame => DrawMarginFrame ? 1 : 0;

		/// <summary>
		/// A sealed <see cref="Toplevel"/> derived class to implement <see cref="Border"/> feature.
		/// This is only a wrapper to get borders on a toplevel and is recommended using another
		/// derived, like <see cref="Window"/> where is possible to have borders with or without
		/// border line or spacing around.
		/// </summary>
		public sealed class ToplevelContainer : Toplevel {
			/// <inheritdoc/>
			public override Border Border {
				get => base.Border;
				set {
					if (base.Border != null && base.Border.Child != null && value.Child == null) {
						value.Child = base.Border.Child;
					}
					base.Border = value;
					if (value == null) {
						return;
					}
					Rect frame;
					if (Border.Child != null && (Border.Child.Width is Dim || Border.Child.Height is Dim)) {
						frame = Rect.Empty;
					} else {
						frame = Frame;
					}
					AdjustContentView (frame);

					Border.BorderChanged += Border_BorderChanged;
				}
			}

			void Border_BorderChanged (Border border)
			{
				Rect frame;
				if (Border.Child != null && (Border.Child.Width is Dim || Border.Child.Height is Dim)) {
					frame = Rect.Empty;
				} else {
					frame = Frame;
				}
				AdjustContentView (frame);
			}

			/// <summary>
			/// Initializes with default null values.
			/// </summary>
			public ToplevelContainer () : this (null, null) { }

			/// <summary>
			/// Initializes a <see cref="ToplevelContainer"/> with a <see cref="LayoutStyle.Computed"/>
			/// </summary>
			/// <param name="border">The border.</param>
			/// <param name="title">The title.</param>
			public ToplevelContainer (Border border, string title = null)
			{
				Initialize (Rect.Empty, border, title);
			}

			/// <summary>
			/// Initializes a <see cref="ToplevelContainer"/> with a <see cref="LayoutStyle.Absolute"/>
			/// </summary>
			/// <param name="frame">The frame.</param>
			/// <param name="border">The border.</param>
			/// <param name="title">The title.</param>
			public ToplevelContainer (Rect frame, Border border, string title = null) : base (frame)
			{
				Initialize (frame, border, title);
			}

			private void Initialize (Rect frame, Border border, string title = null)
			{
				ColorScheme = Colors.TopLevel;
				Text = title ?? "";
				if (border == null) {
					Border = new Border () {
						BorderStyle = BorderStyle.Single,
						BorderBrush = ColorScheme.Normal.Background
					};
				} else {
					Border = border;
				}
			}

			void AdjustContentView (Rect frame)
			{
				var borderLength = Border.DrawMarginFrame ? 1 : 0;
				var sumPadding = Border.GetSumThickness ();
				var wb = new Size ();
				if (frame == Rect.Empty) {
					wb.Width = borderLength + sumPadding.Right;
					wb.Height = borderLength + sumPadding.Bottom;
					if (Border.Child == null) {
						Border.Child = new ChildContentView (this) {
							X = borderLength + sumPadding.Left,
							Y = borderLength + sumPadding.Top,
							Width = Dim.Fill (wb.Width),
							Height = Dim.Fill (wb.Height)
						};
					} else {
						Border.Child.X = borderLength + sumPadding.Left;
						Border.Child.Y = borderLength + sumPadding.Top;
						Border.Child.Width = Dim.Fill (wb.Width);
						Border.Child.Height = Dim.Fill (wb.Height);
					}
				} else {
					wb.Width = (2 * borderLength) + sumPadding.Right + sumPadding.Left;
					wb.Height = (2 * borderLength) + sumPadding.Bottom + sumPadding.Top;
					var cFrame = new Rect (borderLength + sumPadding.Left, borderLength + sumPadding.Top, frame.Width - wb.Width, frame.Height - wb.Height);
					if (Border.Child == null) {
						Border.Child = new ChildContentView (cFrame, this);
					} else {
						Border.Child.Frame = cFrame;
					}
				}
				base.Add (Border.Child);
				Border.ChildContainer = this;
			}

			/// <inheritdoc/>
			public override void Add (View view)
			{
				Border.Child.Add (view);
				if (view.CanFocus) {
					CanFocus = true;
				}
				AddMenuStatusBar (view);
			}

			/// <inheritdoc/>
			public override void Remove (View view)
			{
				if (view == null) {
					return;
				}

				SetNeedsDisplay ();
				var touched = view.Frame;
				Border.Child.Remove (view);

				if (Border.Child.InternalSubviews.Count < 1) {
					CanFocus = false;
				}
				RemoveMenuStatusBar (view);
			}

			/// <inheritdoc/>
			public override void RemoveAll ()
			{
				Border.Child.RemoveAll ();
			}

			/// <inheritdoc/>
			public override void Redraw (Rect bounds)
			{
				if (!NeedDisplay.IsEmpty) {
					Driver.SetAttribute (GetNormalColor ());
					Border.DrawContent ();
				}
				var savedClip = Border.Child.ClipToBounds ();
				Border.Child.Redraw (Border.Child.Bounds);
				Driver.Clip = savedClip;

				ClearLayoutNeeded ();
				ClearNeedsDisplay ();

				if (Border.BorderStyle != BorderStyle.None) {
					Driver.SetAttribute (GetNormalColor ());
					Border.DrawTitle (this, this.Frame);
				}

				// Checks if there are any SuperView view which intersect with this window.
				if (SuperView != null) {
					SuperView.SetNeedsLayout ();
					SuperView.SetNeedsDisplay ();
				}
			}
		}

		private class ChildContentView : View {
			View instance;

			public ChildContentView (Rect frame, View instance) : base (frame)
			{
				this.instance = instance;
			}
			public ChildContentView (View instance)
			{
				this.instance = instance;
			}

			public override bool MouseEvent (MouseEvent mouseEvent)
			{
				return instance.MouseEvent (mouseEvent);
			}
		}

		/// <summary>
		/// Event to be invoked when any border property change.
		/// </summary>
		public event Action<Border> BorderChanged;

		private BorderStyle borderStyle;
		private bool drawMarginFrame;
		private Thickness borderThickness;
		private Thickness padding;

		/// <summary>
		/// Specifies the <see cref="Gui.BorderStyle"/> for a view.
		/// </summary>
		public BorderStyle BorderStyle {
			get => borderStyle;
			set {
				if (value != BorderStyle.None && !drawMarginFrame) {
					// Ensures drawn the border lines.
					drawMarginFrame = true;
				}
				borderStyle = value;
				OnBorderChanged ();
			}
		}

		/// <summary>
		/// Gets or sets if a margin frame is drawn around the <see cref="Child"/> regardless the <see cref="BorderStyle"/>
		/// </summary>
		public bool DrawMarginFrame {
			get => drawMarginFrame;
			set {
				if (borderStyle != BorderStyle.None
					&& (!value || !drawMarginFrame)) {
					// Ensures drawn the border lines.
					drawMarginFrame = true;
				} else {
					drawMarginFrame = value;
				}
				OnBorderChanged ();
			}
		}

		/// <summary>
		/// Gets or sets the relative <see cref="Thickness"/> of a <see cref="Border"/>.
		/// </summary>
		public Thickness BorderThickness {
			get => borderThickness;
			set {
				borderThickness = value;
				OnBorderChanged ();
			}
		}

		/// <summary>
		/// Gets or sets the <see cref="Color"/> that draws the outer border color.
		/// </summary>
		public Color BorderBrush { get; set; }

		/// <summary>
		/// Gets or sets the <see cref="Color"/> that fills the area between the bounds of a <see cref="Border"/>.
		/// </summary>
		public Color Background { get; set; }

		/// <summary>
		/// Gets or sets a <see cref="Thickness"/> value that describes the amount of space between a
		///  <see cref="Border"/> and its child element.
		/// </summary>
		public Thickness Padding {
			get => padding;
			set {
				padding = value;
				OnBorderChanged ();
			}
		}

		/// <summary>
		/// Gets the rendered width of this element.
		/// </summary>
		public int ActualWidth {
			get {
				if (Parent?.Border == null) {
					return Child?.Frame.Width + (2 * marginFrame) + Padding.Right
						+ BorderThickness.Right + Padding.Left + BorderThickness.Left ?? 0;
				}
				return Parent.Frame.Width;
			}
		}
		/// <summary>
		/// Gets the rendered height of this element.
		/// </summary>
		public int ActualHeight {
			get {
				if (Parent?.Border == null) {
					return Child?.Frame.Height + (2 * marginFrame) + Padding.Bottom
						+ BorderThickness.Bottom + Padding.Top + BorderThickness.Top ?? 0;
				}
				return Parent.Frame.Height;
			}
		}

		/// <summary>
		/// Gets or sets the single child element of a <see cref="View"/>.
		/// </summary>
		public View Child { get; set; }

		/// <summary>
		/// Gets the parent <see cref="Child"/> parent if any.
		/// </summary>
		public View Parent { get => Child?.SuperView; }

		/// <summary>
		/// Gets or private sets by the <see cref="ToplevelContainer"/>
		/// </summary>
		public ToplevelContainer ChildContainer { get; private set; }

		/// <summary>
		/// Gets or sets the 3D effect around the <see cref="Border"/>.
		/// </summary>
		public bool Effect3D { get; set; }

		/// <summary>
		/// Get or sets the offset start position for the <see cref="Effect3D"/>
		/// </summary>
		public Point Effect3DOffset { get; set; } = new Point (1, 1);

		/// <summary>
		/// Gets or sets the color for the <see cref="Border"/>
		/// </summary>
		public Color Effect3DBrush { get; set; } = Color.DarkGray;

		/// <summary>
		/// Calculate the sum of the <see cref="Padding"/> and the <see cref="BorderThickness"/>
		/// </summary>
		/// <returns>The total of the <see cref="Border"/> <see cref="Thickness"/></returns>
		public Thickness GetSumThickness ()
		{
			return new Thickness () {
				Left = Padding.Left + BorderThickness.Left,
				Top = Padding.Top + BorderThickness.Top,
				Right = Padding.Right + BorderThickness.Right,
				Bottom = Padding.Bottom + BorderThickness.Bottom
			};
		}

		/// <summary>
		/// Drawn the <see cref="BorderThickness"/> more the <see cref="Padding"/>
		///  more the <see cref="Border.BorderStyle"/> and the <see cref="Effect3D"/>.
		/// </summary>
		public void DrawContent ()
		{
			if (Parent?.Border != null) {
				DrawParentBorder (Parent.ViewToScreen (new Rect (0, 0, Parent.Frame.Width, Parent.Frame.Height)));
			} else {
				DrawChildBorder (Child.ViewToScreen (new Rect (0, 0, Child.Frame.Width, Child.Frame.Height)));
			}
		}

		/// <summary>
		/// Same as <see cref="DrawContent"/> but drawing full frames for all borders.
		/// </summary>
		public void DrawFullContent ()
		{
			var borderThickness = BorderThickness;
			var padding = Padding;
			var marginFrame = DrawMarginFrame ? 1 : 0;
			var driver = Application.Driver;
			Rect scrRect;
			if (Parent?.Border != null) {
				scrRect = Parent.ViewToScreen (new Rect (0, 0, Parent.Frame.Width, Parent.Frame.Height));
			} else {
				scrRect = Child.ViewToScreen (new Rect (0, 0, Child.Frame.Width, Child.Frame.Height));
			}
			Rect borderRect;
			if (Parent?.Border != null) {
				borderRect = scrRect;
			} else {
				borderRect = new Rect () {
					X = scrRect.X - marginFrame - padding.Left - borderThickness.Left,
					Y = scrRect.Y - marginFrame - padding.Top - borderThickness.Top,
					Width = ActualWidth,
					Height = ActualHeight
				};
			}
			var savedAttribute = driver.GetAttribute ();

			// Draw 3D effects
			if (Effect3D) {
				driver.SetAttribute (new Attribute (Effect3DBrush));
				var effectBorder = new Rect () {
					X = borderRect.X + Effect3DOffset.X,
					Y = borderRect.Y + Effect3DOffset.Y,
					Width = ActualWidth,
					Height = ActualHeight
				};
				Child.Clear (effectBorder);
			}

			// Draw border thickness
			driver.SetAttribute (new Attribute (BorderBrush));
			Child.Clear (borderRect);

			borderRect = new Rect () {
				X = borderRect.X + borderThickness.Left,
				Y = borderRect.Y + borderThickness.Top,
				Width = Math.Max (borderRect.Width - borderThickness.Right - borderThickness.Left, 0),
				Height = Math.Max (borderRect.Height - borderThickness.Bottom - borderThickness.Top, 0)
			};
			if (borderRect != scrRect) {
				// Draw padding
				driver.SetAttribute (new Attribute (Background));
				Child.Clear (borderRect);
			}

			driver.SetAttribute (savedAttribute);

			// Draw margin frame
			if (Parent?.Border != null) {
				var sumPadding = GetSumThickness ();
				borderRect = new Rect () {
					X = scrRect.X + sumPadding.Left,
					Y = scrRect.Y + sumPadding.Top,
					Width = Math.Max (scrRect.Width - sumPadding.Right - sumPadding.Left, 0),
					Height = Math.Max (scrRect.Height - sumPadding.Bottom - sumPadding.Top, 0)
				};
			} else {
				borderRect = new Rect () {
					X = borderRect.X + padding.Left,
					Y = borderRect.Y + padding.Top,
					Width = Math.Max (borderRect.Width - padding.Right - padding.Left, 0),
					Height = Math.Max (borderRect.Height - padding.Bottom - padding.Top, 0)
				};
			}
			if (borderRect.Width > 0 && borderRect.Height > 0) {
				driver.DrawWindowFrame (borderRect, 1, 1, 1, 1, BorderStyle != BorderStyle.None, fill: true, this);
			}
		}

		private void DrawChildBorder (Rect frame)
		{
			var drawMarginFrame = DrawMarginFrame ? 1 : 0;
			var sumThickness = GetSumThickness ();
			var padding = Padding;
			var effect3DOffset = Effect3DOffset;
			var driver = Application.Driver;

			var savedAttribute = driver.GetAttribute ();

			driver.SetAttribute (new Attribute (BorderBrush));

			// Draw the upper BorderThickness
			for (int r = frame.Y - drawMarginFrame - sumThickness.Top;
				r < frame.Y - drawMarginFrame - padding.Top; r++) {
				for (int c = frame.X - drawMarginFrame - sumThickness.Left;
					c < frame.Right + drawMarginFrame + sumThickness.Right; c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			// Draw the left BorderThickness
			for (int r = frame.Y - drawMarginFrame - padding.Top;
				r < frame.Bottom + drawMarginFrame + padding.Bottom; r++) {
				for (int c = frame.X - drawMarginFrame - sumThickness.Left;
					c < frame.X - drawMarginFrame - padding.Left; c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			// Draw the right BorderThickness
			for (int r = frame.Y - drawMarginFrame - padding.Top;
				r < frame.Bottom + drawMarginFrame + padding.Bottom; r++) {
				for (int c = frame.Right + drawMarginFrame + padding.Right;
					c < frame.Right + drawMarginFrame + sumThickness.Right; c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			// Draw the lower BorderThickness
			for (int r = frame.Bottom + drawMarginFrame + padding.Bottom;
				r < frame.Bottom + drawMarginFrame + sumThickness.Bottom; r++) {
				for (int c = frame.X - drawMarginFrame - sumThickness.Left;
					c < frame.Right + drawMarginFrame + sumThickness.Right; c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			driver.SetAttribute (new Attribute (Background));

			// Draw the upper Padding
			for (int r = frame.Y - drawMarginFrame - padding.Top;
				r < frame.Y - drawMarginFrame; r++) {
				for (int c = frame.X - drawMarginFrame - padding.Left;
					c < frame.Right + drawMarginFrame + padding.Right; c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			// Draw the left Padding
			for (int r = frame.Y - drawMarginFrame;
				r < frame.Bottom + drawMarginFrame; r++) {
				for (int c = frame.X - drawMarginFrame - padding.Left;
					c < frame.X - drawMarginFrame; c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			// Draw the right Padding
			for (int r = frame.Y - drawMarginFrame;
				r < frame.Bottom + drawMarginFrame; r++) {
				for (int c = frame.Right + drawMarginFrame;
					c < frame.Right + drawMarginFrame + padding.Right; c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			// Draw the lower Padding
			for (int r = frame.Bottom + drawMarginFrame;
				r < frame.Bottom + drawMarginFrame + padding.Bottom; r++) {
				for (int c = frame.X - drawMarginFrame - padding.Left;
					c < frame.Right + drawMarginFrame + padding.Right; c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			driver.SetAttribute (savedAttribute);

			// Draw the MarginFrame
			var rect = new Rect () {
				X = frame.X - drawMarginFrame,
				Y = frame.Y - drawMarginFrame,
				Width = frame.Width + (2 * drawMarginFrame),
				Height = frame.Height + (2 * drawMarginFrame)
			};
			if (rect.Width > 0 && rect.Height > 0) {
				driver.DrawWindowFrame (rect, 1, 1, 1, 1, BorderStyle != BorderStyle.None, fill: true, this);
			}

			if (Effect3D) {
				driver.SetAttribute (new Attribute (Effect3DBrush));

				// Draw the upper Effect3D
				for (int r = frame.Y - drawMarginFrame - sumThickness.Top + effect3DOffset.Y;
					r < frame.Y - drawMarginFrame - sumThickness.Top; r++) {
					for (int c = frame.X - drawMarginFrame - sumThickness.Left + effect3DOffset.X;
						c < frame.Right + drawMarginFrame + sumThickness.Right + effect3DOffset.X; c++) {

						AddRuneAt (driver, c, r, ' ');
					}
				}

				// Draw the left Effect3D
				for (int r = frame.Y - drawMarginFrame - sumThickness.Top + effect3DOffset.Y;
					r < frame.Bottom + drawMarginFrame + sumThickness.Bottom + effect3DOffset.Y; r++) {
					for (int c = frame.X - drawMarginFrame - sumThickness.Left + effect3DOffset.X;
						c < frame.X - drawMarginFrame - sumThickness.Left; c++) {

						AddRuneAt (driver, c, r, ' ');
					}
				}

				// Draw the right Effect3D
				for (int r = frame.Y - drawMarginFrame - sumThickness.Top + effect3DOffset.Y;
					r < frame.Bottom + drawMarginFrame + sumThickness.Bottom + effect3DOffset.Y; r++) {
					for (int c = frame.Right + drawMarginFrame + sumThickness.Right;
						c < frame.Right + drawMarginFrame + sumThickness.Right + effect3DOffset.X; c++) {

						AddRuneAt (driver, c, r, ' ');
					}
				}

				// Draw the lower Effect3D
				for (int r = frame.Bottom + drawMarginFrame + sumThickness.Bottom;
					r < frame.Bottom + drawMarginFrame + sumThickness.Bottom + effect3DOffset.Y; r++) {
					for (int c = frame.X - drawMarginFrame - sumThickness.Left + effect3DOffset.X;
						c < frame.Right + drawMarginFrame + sumThickness.Right + effect3DOffset.X; c++) {

						AddRuneAt (driver, c, r, ' ');
					}
				}
			}
		}

		private void DrawParentBorder (Rect frame)
		{
			var drawMarginFrame = DrawMarginFrame ? 1 : 0;
			var sumThickness = GetSumThickness ();
			var borderThickness = BorderThickness;
			var effect3DOffset = Effect3DOffset;
			var driver = Application.Driver;

			var savedAttribute = driver.GetAttribute ();

			driver.SetAttribute (new Attribute (BorderBrush));

			// Draw the upper BorderThickness
			for (int r = frame.Y;
				r < Math.Min (frame.Y + borderThickness.Top, frame.Bottom); r++) {
				for (int c = frame.X;
					c < frame.Right; c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			// Draw the left BorderThickness
			for (int r = Math.Min (frame.Y + borderThickness.Top, frame.Bottom);
				r < frame.Bottom - borderThickness.Bottom; r++) {
				for (int c = frame.X;
					c < Math.Min (frame.X + borderThickness.Left, frame.Right); c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			// Draw the right BorderThickness
			for (int r = Math.Min (frame.Y + borderThickness.Top, frame.Bottom);
				r < frame.Bottom - borderThickness.Bottom; r++) {
				for (int c = Math.Max (frame.Right - borderThickness.Right, frame.X);
					c < frame.Right; c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			// Draw the lower BorderThickness
			for (int r = Math.Max (frame.Bottom - borderThickness.Bottom, frame.Y);
				r < frame.Bottom; r++) {
				for (int c = frame.X;
					c < frame.Right; c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			driver.SetAttribute (new Attribute (Background));

			// Draw the upper Padding
			for (int r = frame.Y + borderThickness.Top;
				r < Math.Min (frame.Y + sumThickness.Top, frame.Bottom - borderThickness.Bottom); r++) {
				for (int c = frame.X + borderThickness.Left;
					c < frame.Right - borderThickness.Right; c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			// Draw the left Padding
			for (int r = frame.Y + sumThickness.Top;
				r < frame.Bottom - sumThickness.Bottom; r++) {
				for (int c = frame.X + borderThickness.Left;
					c < Math.Min (frame.X + sumThickness.Left, frame.Right - borderThickness.Right); c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			// Draw the right Padding
			for (int r = frame.Y + sumThickness.Top;
				r < frame.Bottom - sumThickness.Bottom; r++) {
				for (int c = Math.Max (frame.Right - sumThickness.Right, frame.X + sumThickness.Left);
					c < Math.Max (frame.Right - borderThickness.Right, frame.X + sumThickness.Left); c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			// Draw the lower Padding
			for (int r = Math.Max (frame.Bottom - sumThickness.Bottom, frame.Y + borderThickness.Top);
				r < frame.Bottom - borderThickness.Bottom; r++) {
				for (int c = frame.X + borderThickness.Left;
					c < frame.Right - borderThickness.Right; c++) {

					AddRuneAt (driver, c, r, ' ');
				}
			}

			driver.SetAttribute (savedAttribute);

			// Draw the MarginFrame
			var rect = new Rect () {
				X = frame.X + sumThickness.Left,
				Y = frame.Y + sumThickness.Top,
				Width = Math.Max (frame.Width - sumThickness.Right - sumThickness.Left, 0),
				Height = Math.Max (frame.Height - sumThickness.Bottom - sumThickness.Top, 0)
			};
			if (rect.Width > 0 && rect.Height > 0) {
				driver.DrawWindowFrame (rect, 1, 1, 1, 1, BorderStyle != BorderStyle.None, fill: true, this);
			}

			if (Effect3D) {
				driver.SetAttribute (new Attribute (Effect3DBrush));

				// Draw the upper Effect3D
				for (int r = frame.Y + effect3DOffset.Y;
					r < frame.Y; r++) {
					for (int c = frame.X + effect3DOffset.X;
						c < frame.Right + effect3DOffset.X; c++) {

						AddRuneAt (driver, c, r, ' ');
					}
				}

				// Draw the left Effect3D
				for (int r = frame.Y + effect3DOffset.Y;
					r < frame.Bottom + effect3DOffset.Y; r++) {
					for (int c = frame.X + effect3DOffset.X;
						c < frame.X; c++) {

						AddRuneAt (driver, c, r, ' ');
					}
				}

				// Draw the right Effect3D
				for (int r = frame.Y + effect3DOffset.Y;
					r < frame.Bottom + effect3DOffset.Y; r++) {
					for (int c = frame.Right;
						c < frame.Right + effect3DOffset.X; c++) {

						AddRuneAt (driver, c, r, ' ');
					}
				}

				// Draw the lower Effect3D
				for (int r = frame.Bottom;
					r < frame.Bottom + effect3DOffset.Y; r++) {
					for (int c = frame.X + effect3DOffset.X;
						c < frame.Right + effect3DOffset.X; c++) {

						AddRuneAt (driver, c, r, ' ');
					}
				}
			}
		}

		private void AddRuneAt (ConsoleDriver driver, int col, int row, Rune ch)
		{
			driver.Move (col, row);
			driver.AddRune (ch);
		}

		/// <summary>
		/// Drawn the view text from a <see cref="View"/>.
		/// </summary>
		public void DrawTitle (View view, Rect rect)
		{
			var driver = Application.Driver;
			if (BorderStyle != BorderStyle.None) {
				driver.SetAttribute (view.GetNormalColor ());
				if (view.HasFocus) {
					driver.SetAttribute (view.ColorScheme.HotNormal);
				}
				var padding = GetSumThickness ();
				driver.DrawWindowTitle (rect, view.Text,
					padding.Left, padding.Top, padding.Right, padding.Bottom);
			}
			driver.SetAttribute (view.GetNormalColor ());
		}

		/// <summary>
		/// Invoke the <see cref="BorderChanged"/> event.
		/// </summary>
		public virtual void OnBorderChanged ()
		{
			BorderChanged?.Invoke (this);
		}
	}
}