mozilla/pdf.js — pull request #3431 by timvandermeij (2013-07-01 17:52:48+00:00)
Title: Implemented annotation selection (fixing #2964)

This PR fixes issue #2964. Text selection within annotations is now possible. I have also added the possibility to toggle the visibility of annotations by clicking the annotation icon.