private static void FlowDocumentPageViewerMasterPageNumberChanged(DependencyObject sender, DependencyPropertyChangedEventArgs e)
{
FlowDocumentPageViewerHighlightHandler handler = sender as FlowDocumentPageViewerHighlightHandler;
if (!handler.ignorePropertyChange)
{
//ClearHighlighting(handler.flowDocumentPageViewer);
handler.ClearHighlighting();
//do new search
handler.flowDocumentPageViewer.Dispatcher.BeginInvoke(System.Windows.Threading.DispatcherPriority.Loaded, new Action(() => { handler.OnNewSearchNeeded(); }));
}
}
