mirror of
https://github.com/mozilla/pdf.js.git
synced 2026-05-25 20:31:03 +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.