public EditPluginWindow(params object[] options) : base()
{
var box = new MyBox(780, 395);
Put(box, 10, 30);
var backButton = new TouchButton();
backButton.text = "back";
backButton.SetSizeRequest(100, 40);
backButton.ButtonReleaseEvent += (o, args) => GuiGlobal.ChangeScreens("Plugins");
Put(backButton, 15, 380);
var label = new TouchLabel();
label.textSize = 13;
label.WidthRequest = 780;
label.textAlignment = MyAlignment.Center;
tv = new TextView();
tv.ModifyFont(Pango.FontDescription.FromString("Sans 11"));
tv.ModifyText(StateType.Normal, MyColor.NewGtkColor("black"));
tv.ModifyBase(StateType.Normal, MyColor.NewGtkColor("grey4"));
tv.CanFocus = false;
ScrolledWindow sw = new ScrolledWindow();
sw.SetSizeRequest(770, 315);
sw.Add(tv);
Put(sw, 15, 60);
BaseScript script = null;
foreach (var opt in options)
{
script = opt as BaseScript;
if (script != null)
{
label.text = script.name;
label.textColor = "pri";
DisplayErrors(script);
var b = new TouchButton();
b.SetSizeRequest(100, 40);
b.text = "Recompile and Load";
b.ButtonReleaseEvent += (o, args) => {
if (script.errors.Count != 0)
{
script.CompileAndLoad();
if (script.flags.HasFlag(ScriptFlags.Initializer))
{
script.RunInitialize();
}
DisplayErrors(script);
tv.QueueDraw();
}
else
{
MessageBox.Show("Script is already running.\nCannot recomile and load");
}
};
Put(b, 685, 380);
break;
}
}
if (script == null)
{
label.text = "No Plugin Selected";
label.textColor = "secb";
backButton.text = "Select Plugin";
}
Put(label, 10, 35);
ShowAll();
}