Setting GenericStyledArea.setLineHighlighterOn to false does not repaint the area and leaves the writing line highlighted

[garybentley]

Difficult to show this one but in 0.10.7 (and previous versions as far as I can tell), setting: GenericStyledArea.setLineHighlighterOn(false) doesn't repaint the text area and the highlight is left in place however if I force a repaint of the line, say by scrolling the line out of view and then back the highlight disappears.

[Jugen]

Thanks for reporting, PR has been submitted to fix.