public void refreshFromDisc(CodeDescriptor desc)
{
this.Invoke(new NoArgFunction(() =>
{
TextLocation l = editor.ActiveTextAreaControl.Caret.Position;
Dirty = false;
string code = "";
foreach (string line in desc.readAllLines())
{
code += line + Environment.NewLine;
}
editor.Text = code;
editor.ActiveTextAreaControl.Caret.Position = l;
Dirty = false;
}));
}
