private void Document_DocumentChanged(object sender, DocumentEventArgs e) {
if (mRefreshDelayTimer.Enabled == true || mWorker.IsBusy == true) {
mUpdateAfterUpdate = true;
return;
}
mText = Editor.Document.TextContent;
mRefreshDelayTimer.Enabled = true;
mRefreshDelayTimer.Start();
}
void DocumentChanged(object sender, DocumentEventArgs e)
{
if (e.Text == null) {
Remove(e.Offset, e.Length);
} else {
if (e.Length < 0) {
Insert(e.Offset, e.Text);
} else {
Replace(e.Offset, e.Length, e.Text);
}
}
}
void DocumentChanged(object sender, DocumentEventArgs e)
{
// reset markers table
markersTable.Clear();
document.UpdateSegmentListOnDocumentChange(textMarker, e);
}