private void loadDoumentFromFile() { try { if (document == null) { document = new CodeEditor.CodeDocument(this); } using (System.IO.StreamReader sr = new System.IO.StreamReader(AbsolutePath)) { loadedFileLastWriteTime = System.IO.File.GetLastWriteTime(AbsolutePath); string text = sr.ReadToEnd(); document.Replace(0, document.Length, 0, text); document.ClearHistory(); document.Clean(); } } catch { document = null; } }
public override void Apply(CodeEditor.CodeDocument codeDocument) { string replaceText = codeDocument.CreateString(codeDocument.SelectionStart, codeDocument.SelectionLast - codeDocument.SelectionStart).ToUpper(); codeDocument.Replace(codeDocument.SelectionStart, codeDocument.SelectionLast - codeDocument.SelectionStart, 0, replaceText); }