Gildas 2b079e597c changed cursor aspect when removing elements (see #494) 5 tahun lalu
..
bg c3cd903d31 improved cut tool of the annotation editor (fix #494) 5 tahun lalu
content 6b37ee4cde fixed error when using shift-tab 5 tahun lalu
devtools 49e6d1a17d updated copyright date 6 tahun lalu
pages 2b079e597c changed cursor aspect when removing elements (see #494) 5 tahun lalu
resources 3c848a6354 added "redo cut element" button (cf #494) 5 tahun lalu
index.js 49e6d1a17d updated copyright date 6 tahun lalu