Esempio n. 1
0
        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);
            }
        }
Esempio n. 2
0
 public override void Save()
 {
     TabStripUtils.unflagTabAsModified(this.tab);
     System.IO.File.WriteAllText(this.File.FullName, this.editor.Text);
 }