Timeout on zoom change

When the user zooms in/out, don't start the page repaint right away. The user might click the zoom-in button many times in sequence.