void DocumentChanged(object sender, DocumentEventArgs e) { // reset markers table markersTable.Clear(); document.UpdateSegmentListOnDocumentChange(textMarker, e); }
void AdjustScrollBarsOnDocumentChange(object sender, DocumentEventArgs e) { if (motherTextEditorControl.IsInUpdate == false) { AdjustScrollBarsClearCache(); AdjustScrollBars(); } else { adjustScrollBarsOnNextUpdate = true; } }
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 DocumentAboutToBeChanged(object sender, DocumentEventArgs e) { // => startOffset test required so that this startOffset/endOffset are not incremented again // for BeforeStartKey characters if (e.Offset >= startOffset && e.Offset <= endOffset) { if (e.Length > 0) { // length of removed region endOffset -= e.Length; } if (!string.IsNullOrEmpty(e.Text)) { endOffset += e.Text.Length; } } }