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