 Gildas
|
d200cdd55e
make toolbar scrollable
|
vor 5 Jahren |
|
Gildas
|
fd9dbfc0c3
add print button in the annotation editor
|
vor 5 Jahren |
|
Gildas
|
765410a2e0
ddded button to remove external elements (fix #506)
|
vor 5 Jahren |
|
Gildas
|
8b3997c2ba
Disable highlight buttons when removing elements (see #494)
|
vor 5 Jahren |
|
Gildas
|
3c848a6354
added "redo cut element" button (cf #494)
|
vor 5 Jahren |
|
Gildas
|
4c8f73ffd1
added scripts needed to include the infobar
|
vor 5 Jahren |
|
Gildas
|
c7dab17261
moved files
|
vor 6 Jahren |
|
Gildas
|
db434be938
moved files into editor/
|
vor 6 Jahren |
|
Gildas
|
5909443455
integration of the annotation editor (fixes #161)
|
vor 6 Jahren |
