|
@@ -331,6 +331,7 @@ namespace Terminal.Gui {
|
|
|
private Point effect3DOffset = new Point (1, 1);
|
|
|
private Attribute? effect3DBrush;
|
|
|
private ustring title = ustring.Empty;
|
|
|
+ private View child;
|
|
|
|
|
|
/// <summary>
|
|
|
/// Specifies the <see cref="Gui.BorderStyle"/> for a view.
|
|
@@ -650,7 +651,7 @@ namespace Terminal.Gui {
|
|
|
Child.Clear (borderRect);
|
|
|
}
|
|
|
|
|
|
- driver.SetAttribute (savedAttribute);
|
|
|
+ driver.SetAttribute (new Attribute (BorderBrush, Background));
|
|
|
|
|
|
// Draw margin frame
|
|
|
if (DrawMarginFrame) {
|
|
@@ -674,6 +675,7 @@ namespace Terminal.Gui {
|
|
|
driver.DrawWindowFrame (borderRect, 1, 1, 1, 1, BorderStyle != BorderStyle.None, fill: true, this);
|
|
|
}
|
|
|
}
|
|
|
+ driver.SetAttribute (savedAttribute);
|
|
|
}
|
|
|
|
|
|
private void DrawChildBorder (Rect frame, bool fill = true)
|
|
@@ -786,7 +788,7 @@ namespace Terminal.Gui {
|
|
|
}
|
|
|
}
|
|
|
|
|
|
- driver.SetAttribute (savedAttribute);
|
|
|
+ driver.SetAttribute (new Attribute (BorderBrush, Background));
|
|
|
|
|
|
// Draw the MarginFrame
|
|
|
if (DrawMarginFrame) {
|
|
@@ -983,7 +985,7 @@ namespace Terminal.Gui {
|
|
|
}
|
|
|
}
|
|
|
|
|
|
- driver.SetAttribute (savedAttribute);
|
|
|
+ driver.SetAttribute (new Attribute (BorderBrush, Background));
|
|
|
|
|
|
// Draw the MarginFrame
|
|
|
if (DrawMarginFrame) {
|
|
@@ -1077,7 +1079,7 @@ namespace Terminal.Gui {
|
|
|
driver.DrawWindowTitle (scrRect, Title, 0, 0, 0, 0);
|
|
|
} else {
|
|
|
scrRect = view.ViewToScreen (new Rect (0, 0, view.Frame.Width, view.Frame.Height));
|
|
|
- driver.DrawWindowTitle (scrRect, Title,
|
|
|
+ driver.DrawWindowTitle (scrRect, Parent.Border.Title,
|
|
|
padding.Left, padding.Top, padding.Right, padding.Bottom);
|
|
|
}
|
|
|
}
|
|
@@ -1093,9 +1095,9 @@ namespace Terminal.Gui {
|
|
|
{
|
|
|
var driver = Application.Driver;
|
|
|
if (DrawMarginFrame) {
|
|
|
- driver.SetAttribute (view.GetNormalColor ());
|
|
|
+ driver.SetAttribute (new Attribute (BorderBrush, Background));
|
|
|
if (view.HasFocus) {
|
|
|
- driver.SetAttribute (view.ColorScheme.HotNormal);
|
|
|
+ driver.SetAttribute (new Attribute (view.ColorScheme.HotNormal.Foreground, Background));
|
|
|
}
|
|
|
var padding = Parent.Border.GetSumThickness ();
|
|
|
var scrRect = Parent.ViewToScreen (new Rect (0, 0, rect.Width, rect.Height));
|