Only redraw affected lines when selection changes with mouse. From
Michael Graczyk.
Notify on zoom/unzoom, from George Nachmann.