public override void Redraw()
{
bool unsavedChangesBefore = false;
if (TabStripUtils.isTagFlaggedAsModified(this.tab))
{
unsavedChangesBefore = true;
}
this.editor.ClearStylesBuffer();
this.editor.OnTextChanged(); //redraws editor styles
if (!unsavedChangesBefore)
{
TabStripUtils.unflagTabAsModified(this.tab);
}
}
public override void Save()
{
TabStripUtils.unflagTabAsModified(this.tab);
System.IO.File.WriteAllText(this.File.FullName, this.editor.Text);
}