mozilla/pdf.js — pull request #2091 by gigaherz (2012-09-08 00:08:51+00:00)
Title: Refresh the zoom settings after rotating the pages

Use the known current scale setting to refresh the pages, so that it works also for non-fullscreen viewing mode.