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