Gildas 66cb4d3869 use bigger font 5 rokov pred
..
bg c3cd903d31 improved cut tool of the annotation editor (fix #494) 5 rokov pred
content 8948efce03 fixed positioning issue in Chrome 5 rokov pred
devtools 49e6d1a17d updated copyright date 6 rokov pred
pages 66cb4d3869 use bigger font 5 rokov pred
resources 3c848a6354 added "redo cut element" button (cf #494) 5 rokov pred
index.js 49e6d1a17d updated copyright date 6 rokov pred