void TextEditor_TextChanged(object sender, EventArgs e) { if (patchHighlighting) _internalFileViewer.AddPatchHighlighting(); }