| .. |
|
bg
|
c3cd903d31
improved cut tool of the annotation editor (fix #494)
|
há 5 anos atrás |
|
content
|
4a06e56477
unhighlight the selected element when saving the page (see #494)
|
há 5 anos atrás |
|
devtools
|
49e6d1a17d
updated copyright date
|
há 6 anos atrás |
|
pages
|
e6feb02b79
added !important
|
há 5 anos atrás |
|
resources
|
3c848a6354
added "redo cut element" button (cf #494)
|
há 5 anos atrás |
|
index.js
|
49e6d1a17d
updated copyright date
|
há 6 anos atrás |
Gildas