 Egor Duda
|
8c654cd331
Add tooltips for undo buttons
|
hace 6 años |
|
Egor Duda
|
4766e9df86
Label editor button which allows removing elements from the document
|
hace 6 años |
 Gildas
|
5909443455
integration of the annotation editor (fixes #161)
|
hace 6 años |
|
Gildas
|
14bd405120
added "auto-close the tab after the page is saved" option (fix #185)
|
hace 6 años |
|
Gildas
|
54e8cf5fa4
added option to include the infobar in saved pages (fix #243)
|
hace 6 años |
|
Gildas
|
d43a4bb5ae
fixed labels
|
hace 6 años |
 strel
|
76d16d3508
Accuracy fix
|
hace 6 años |
|
strel
|
1e00b92391
Typo fixed
|
hace 6 años |
|
strel
|
8943dc6c4a
New es locale
|
hace 6 años |
