mozilla/pdf.js — pull request #854 by arturadib (2011-11-30 21:17:29+00:00)
Title: Smarter thumbnail scrolling

OK hopefully this time the conflicts are fixed... sorry about the repeated requests!

Currently we render all thumbs in series starting from #1, with a 500ms delay, which is pretty much useless for a large document.

This new code renders the thumbs that correspond to the current scroll position in the thumbnail viewer, after the scrolling has paused for some milliseconds. This allows users to scroll to page #1000 and see the thumb almost instantly, without hiccups in the UI.

Also the thumbnail viewer now works in WebKit.

PS: I've noticed that we start throwing some blank pages and errors with intelisa, and it just won't work at all with pdf.pdf. I think these issues are specific to the thumbnail code.