mozilla/pdf.js — pull request #2920 by Snuffleupagus (2013-03-10 13:11:27+00:00)
Title: Scroll the Thumbnail of the current page into view when exiting fullscreen mode

This PR fixes an issue where in some circumstances, particularly when going to the last page of a document while in fullscreen mode, the Thumbnails won't be scrolled into view properly when exiting fullscreen.

Follow up on #2509.