mozilla/pdf.js — pull request #2516 by jviereck (2012-12-29 21:19:56+00:00)
Title: 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.