public static void CloseWindow(TextWindow win)
{
GuiInvoke(new Action(() =>
{
GuiCloseWindow(win);
}));
}
public static void Init(CommandLineOptions options)
{
Options = options;
Width = options.Width;
Height = options.Height;
SetFrameType(FrameType.Thin);
DefaultForeColor = MakeColor(options.ForeColor);
DefaultBackColor = MakeColor(options.BackColor);
DefaultInfoColor = MakeColor(options.InfoColor);
DefaultErrorColor = MakeColor(options.ErrorColor);
DefaultWarningColor = MakeColor(options.WarningColor);
DefaultHighlightForeColor = MakeColor(options.HighlightForeColor);
DefaultHighlightBackColor = MakeColor(options.HighlightBackColor);
DefaultShadowBackColor = MakeColor(options.ShadowBackColor);
InitFonts(options.FontName, options.FontSize);
TerminalWindow = new ReplTextForm(new TextWindowCreateArgs(options));
StdScr = TerminalWindow.Content.Window;
TerminalWindow.Show();
TerminalWindow.Activate();
Runtime.CreateThread(RunGuiReplMode);
Application.Run(TerminalWindow);
}
public static void GuiCloseWindow(TextWindow win)
{
win.ParentControl.ParentForm.Close();
}
public TextWindowTextWriter(TextWindow window)
{
this.window = window;
}
public TextWindowTextWriter(TextWindow window)
{
this.window = window;
}
public static void Init(CommandLineOptions options)
{
Options = options;
Width = options.Width;
Height = options.Height;
SetFrameType(FrameType.Thin);
DefaultForeColor = MakeColor(options.ForeColor);
DefaultBackColor = MakeColor(options.BackColor);
DefaultInfoColor = MakeColor(options.InfoColor);
DefaultErrorColor = MakeColor(options.ErrorColor);
DefaultWarningColor = MakeColor(options.WarningColor);
DefaultHighlightForeColor = MakeColor(options.HighlightForeColor);
DefaultHighlightBackColor = MakeColor(options.HighlightBackColor);
DefaultShadowBackColor = MakeColor(options.ShadowBackColor);
InitFonts(options.FontName, options.FontSize);
TerminalWindow = new ReplTextForm(new TextWindowCreateArgs(options));
StdScr = TerminalWindow.Content.Window;
TerminalWindow.Show();
TerminalWindow.Activate();
Runtime.CreateThread(RunGuiReplMode);
Application.Run(TerminalWindow);
}
public static void GuiCloseWindow(TextWindow win)
{
win.ParentControl.ParentForm.Close();
}
public static void CloseWindow(TextWindow win)
{
GuiInvoke(new Action(() =>
{
GuiCloseWindow(win);
}));
}
