| .. |
|
ui-button.js
|
47509ea932
updated copyright date
|
vor 6 Jahren |
|
ui-commands.js
|
47509ea932
updated copyright date
|
vor 6 Jahren |
|
ui-editor.js
|
f20fbf7076
added option "apply the system theme when formatting a page in the annotation editor"
|
vor 5 Jahren |
|
ui-main.js
|
47509ea932
updated copyright date
|
vor 6 Jahren |
|
ui-menus.js
|
84b7097eee
hide entry fome menu if necessary (fix #382)
|
vor 5 Jahren |
|
ui-options.js
|
f20fbf7076
added option "apply the system theme when formatting a page in the annotation editor"
|
vor 5 Jahren |
|
ui-panel.js
|
ef8f05717e
removed unnecessary async keywords
|
vor 6 Jahren |
|
ui-pendings.js
|
44d3796f55
implemented "save selected links" and "Add URLs" (fix #333)
|
vor 6 Jahren |
Gildas
f20fbf7076
added option "apply the system theme when formatting a page in the annotation editor"