| .. |
|
bg
|
a293835c9d
hide the "print" button if window.print is undefined
|
5 years ago |
|
content
|
edbdeef550
ignore shadowRoot of UI elements
|
5 years ago |
|
devtools
|
49e6d1a17d
updated copyright date
|
6 years ago |
|
pages
|
fd9dbfc0c3
add print button in the annotation editor
|
5 years ago |
|
resources
|
fd9dbfc0c3
add print button in the annotation editor
|
5 years ago |
|
index.js
|
49e6d1a17d
updated copyright date
|
6 years ago |
Gildas