Fix double highlight in sequent view #3129

If the new sequent has a different height than the previous view, repaint is called twice. To fix overlapping highlights, remove all highlights when painting the sequent.