Bring back lazyredraw.

It actually makes a difference, when scrolling mostly.