| .. |
|
bg
|
4ba176ba95
added menu entry "Save page with profile" (fix #464)
|
hace 5 años |
|
content
|
82a73e93eb
added option "Annotation editor > warn if leaving page with unsaved changes"
|
hace 5 años |
|
devtools
|
49e6d1a17d
updated copyright date
|
hace 6 años |
|
pages
|
724fccd19c
fixed typo
|
hace 5 años |
|
resources
|
976bb54d06
made icons flat
|
hace 5 años |
|
index.js
|
49e6d1a17d
updated copyright date
|
hace 6 años |
Gildas