void DocumentChanged(object sender, DocumentEventArgs e) { // reset markers table markersTable.Clear(); document.UpdateSegmentListOnDocumentChange(textMarker, e); }