mirror of
https://github.com/mozilla/pdf.js.git
synced 2026-05-28 05:41:01 +02:00
- Since the border belongs to the section containing the HTML counterpart of an annotation, this section must be hidden when a JS action requires it; - it wasn't possible to hide a button in using JS.