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