Gildas 9277311ece implemented cancel format page feature 5 years ago
..
ui-button.js 49e6d1a17d updated copyright date 6 years ago
ui-commands.js 49e6d1a17d updated copyright date 6 years ago
ui-editor.js 9277311ece implemented cancel format page feature 5 years ago
ui-main.js fbc0adfbe7 Replaced "Annotate and save the page" with "Annotate the page" in the menu when viewing a saved page (fix #446) 5 years ago
ui-menus.js 9913bcb415 fixed "Annotate the page" entry when "annotate the page before saving" is enabled and the displayed page is saved with SF 5 years ago
ui-options.js 7f58a960b9 added option "Annotion editor > default mode" (see #494) 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