void IScreen.SetTextStyle(ZTextStyle style)
{
Dispatch(() =>
{
var activeWindow = windowManager.ActiveWindow;
if (style == ZTextStyle.Roman)
{
activeWindow.SetBold(false);
activeWindow.SetItalic(false);
activeWindow.SetFixedPitch(false);
activeWindow.SetReverse(false);
}
else if (style == ZTextStyle.Bold)
{
activeWindow.SetBold(true);
}
else if (style == ZTextStyle.Italic)
{
activeWindow.SetItalic(true);
}
else if (style == ZTextStyle.FixedPitch)
{
activeWindow.SetFixedPitch(true);
}
else if (style == ZTextStyle.Reverse)
{
activeWindow.SetReverse(true);
}
});
}
public Task SetTextStyleAsync(ZTextStyle style)
{
return(this.foregroundThreadAffinitedObject.InvokeBelowInputPriority(() =>
{
var window = this.windowManager.ActiveWindow;
switch (style)
{
case ZTextStyle.Roman:
window.SetBold(false);
window.SetItalic(false);
window.SetFixedPitch(false);
window.SetReverse(false);
break;
case ZTextStyle.Bold:
window.SetBold(true);
break;
case ZTextStyle.Italic:
window.SetItalic(true);
break;
case ZTextStyle.FixedPitch:
window.SetFixedPitch(true);
break;
case ZTextStyle.Reverse:
window.SetReverse(true);
break;
}
}));
}
public void SetTextStyle(ZTextStyle style)
{
}
internal void SetTextStyle(ZTextStyle style)
{
this.Screen.SetTextStyle(style);
}
