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);
}
