]> git.parisson.com Git - pdf.js.git/commitdiff
Merge pull request #1808 from brendandahl/ui-update
authorArtur Adib <arturadib@gmail.com>
Wed, 20 Jun 2012 15:36:21 +0000 (08:36 -0700)
committerArtur Adib <arturadib@gmail.com>
Wed, 20 Jun 2012 15:36:21 +0000 (08:36 -0700)
UI update from shorlanders comments.


Trivial merge