Gildas 734c48a404 add option "auto-save on tab removal" (fix #703) 4 anni fa
..
bg 734c48a404 add option "auto-save on tab removal" (fix #703) 4 anni fa
content a62888a2a9 move file 5 anni fa
pages 734c48a404 add option "auto-save on tab removal" (fix #703) 4 anni fa
resources fd9dbfc0c3 add print button in the annotation editor 5 anni fa