private void PDFHighlightLayer_Loaded(object sender, RoutedEventArgs e) { ASSERT.Test(pdf_document != null); if (pdf_document != null) { ObjHighlightRenderer.RebuildVisual(pdf_document, page); } }
private void ProcessAndApplyHighlights(WordList selected_words) { // Are we adding if (!toggled_deleting && 0 <= CurrentColourNumber) { foreach (Word word in selected_words) { PDFHighlight pdf_highlight = new PDFHighlight(page, word, CurrentColourNumber); pdf_document.AddUpdatedHighlight(pdf_highlight); } } // Or deleting? else { HashSet <PDFHighlight> highlight_list = pdf_document.Highlights.GetHighlightsForPage(page); HashSet <PDFHighlight> highlights_to_delete = new HashSet <PDFHighlight>(); foreach (Word word in selected_words) { foreach (PDFHighlight pdf_highlight in highlight_list) { if ( false || word.Contains(pdf_highlight.Left, pdf_highlight.Top) || word.Contains(pdf_highlight.Left + pdf_highlight.Width, pdf_highlight.Top) || word.Contains(pdf_highlight.Left + pdf_highlight.Width, pdf_highlight.Top + pdf_highlight.Height) || word.Contains(pdf_highlight.Left, pdf_highlight.Top + pdf_highlight.Height) ) { highlights_to_delete.Add(pdf_highlight); } } } foreach (PDFHighlight pdf_highlight in highlights_to_delete) { pdf_document.RemoveUpdatedHighlight(pdf_highlight); } } // Redraw { ObjHighlightRenderer.RebuildVisual(pdf_document, page); } }
void PDFHighlightLayer_Loaded(object sender, RoutedEventArgs e) { ObjHighlightRenderer.RebuildVisual(pdf_renderer_control_stats.pdf_document, page); }