Esempio n. 1
0
 public RichTextBoxHighlightHandler(System.Windows.Controls.RichTextBox elementToHighlight, System.Windows.Media.Brush bodyHighlightAdornerBrush, System.Windows.Media.Pen bodyHighlightAdornerPen, Brush bodyIterativeHighlightAdornerBrush, Pen bodyIterativeHighlightAdornerPen)
     : base(elementToHighlight, bodyHighlightAdornerBrush, bodyHighlightAdornerPen, bodyIterativeHighlightAdornerBrush, bodyIterativeHighlightAdornerPen)
 {
     textBox              = elementToHighlight;
     adapter              = new RichTextBoxHelper(elementToHighlight);
     oldText              = adapter.Text;
     textBox.TextChanged += textBox_TextChanged;
     highlightComparer    = new RichTextBoxHighlightComparer();
 }
        public RichTextBoxHighlightHandler(System.Windows.Controls.RichTextBox elementToHighlight, System.Windows.Media.Brush bodyHighlightAdornerBrush, System.Windows.Media.Pen bodyHighlightAdornerPen, Brush bodyIterativeHighlightAdornerBrush, Pen bodyIterativeHighlightAdornerPen)
            : base(elementToHighlight, bodyHighlightAdornerBrush, bodyHighlightAdornerPen, bodyIterativeHighlightAdornerBrush, bodyIterativeHighlightAdornerPen)
        {
            textBox = elementToHighlight;
            adapter = new RichTextBoxHelper(elementToHighlight);
            oldText = adapter.Text;
            textBox.TextChanged += textBox_TextChanged;
            highlightComparer = new RichTextBoxHighlightComparer();

            
        }