| .. |
|
ui-button.js
|
49e6d1a17d
updated copyright date
|
6 years ago |
|
ui-commands.js
|
49e6d1a17d
updated copyright date
|
6 years ago |
|
ui-editor.js
|
8733d8b82f
added option "apply the system theme when formatting a page in the annotation editor"
|
5 years ago |
|
ui-main.js
|
49e6d1a17d
updated copyright date
|
6 years ago |
|
ui-menus.js
|
e1c64fcf1d
hide entry fome menu if necessary (fix #382)
|
5 years ago |
|
ui-options.js
|
f0222839a9
added "zoom out the page" option (cf #440)
|
5 years ago |
|
ui-panel.js
|
3ec6bf0099
removed unnecessary async keywords
|
6 years ago |
|
ui-pendings.js
|
bef17a3275
implemented "save selected links" and "Add URLs" (fix #333)
|
6 years ago |
Gildas
f0222839a9
added "zoom out the page" option (cf #440)