| .. |
|
bg
|
63bb06ff6e
add choice "remove external elements" as default mode (see #516)
|
há 5 anos atrás |
|
content
|
8d64772af8
pressing Escape will reset higlighted elements (see #516)
|
há 5 anos atrás |
|
devtools
|
49e6d1a17d
updated copyright date
|
há 6 anos atrás |
|
pages
|
719dfb1a48
updated annotation editor doc (see #516)
|
há 5 anos atrás |
|
resources
|
765410a2e0
ddded button to remove external elements (fix #506)
|
há 5 anos atrás |
|
index.js
|
49e6d1a17d
updated copyright date
|
há 6 anos atrás |
Gildas