public static REPL_Gui showErrorMessage(this REPL_Gui replGui, string msg)
{
replGui.Output_View_Object.visible(false);
replGui.Output_View_RichTextBox.visible(true).textColor(Color.Red)
.set_Text(msg);
return(replGui);
}
public static REPL_Gui stopCurrentExecution(this REPL_Gui replGui)
{
if (replGui.ExecutionThread.notNull() && replGui.ExecutionThread.IsAlive)
{
"ExecutionThread is alive, so stopping it".info();
replGui.ExecutionThread.Abort();
replGui.Output_View_RichTextBox.textColor(Color.Red).set_Text("...current thread stopped...");
}
return(replGui);
}
public static REPL_Gui showOutput(this REPL_Gui replGui, object result)
{
var richTextBox = replGui.Output_View_RichTextBox;
var panel = replGui.Output_View_Object;
richTextBox.visible(false);
panel.visible(false).clear();
if (result == null)
{
result = "[null value]";
}
switch (result.typeName())
{
case "Boolean":
case "String":
case "Int64":
case "Int32":
case "Int16":
case "Byte":
richTextBox.visible(true).textColor(Color.Black)
.set_Text(result.str());
break;
case "Bitmap":
panel.visible(true).add_PictureBox()
.load((Bitmap)result);
break;
default:
panel.visible(true).add_Control <ctrl_ShowInfo>()
.show(result);
break;
}
return(replGui);
}
