| .. |
|
bg
|
8b3997c2ba
Disable highlight buttons when removing elements (see #494)
|
5 years ago |
|
content
|
6a1f82e278
use crosshair cursor to identify highlights to remove
|
5 years ago |
|
devtools
|
49e6d1a17d
updated copyright date
|
6 years ago |
|
pages
|
6a1f82e278
use crosshair cursor to identify highlights to remove
|
5 years ago |
|
resources
|
3c848a6354
added "redo cut element" button (cf #494)
|
5 years ago |
|
index.js
|
49e6d1a17d
updated copyright date
|
6 years ago |
Gildas