| .. |
|
bg
|
a293835c9d
hide the "print" button if window.print is undefined
|
hace 5 años |
|
content
|
424f4317c0
reset selected elements before printing the page
|
hace 5 años |
|
devtools
|
49e6d1a17d
updated copyright date
|
hace 6 años |
|
pages
|
fd9dbfc0c3
add print button in the annotation editor
|
hace 5 años |
|
resources
|
fd9dbfc0c3
add print button in the annotation editor
|
hace 5 años |
|
index.js
|
49e6d1a17d
updated copyright date
|
hace 6 años |
Gildas