Gildas fd9dbfc0c3 add print button in the annotation editor 5 лет назад
..
ui-button.js 49e6d1a17d updated copyright date 6 лет назад
ui-commands.js 49e6d1a17d updated copyright date 6 лет назад
ui-editor.js fd9dbfc0c3 add print button in the annotation editor 5 лет назад
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 лет назад
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 лет назад
ui-options.js 63bb06ff6e add choice "remove external elements" as default mode (see #516) 5 лет назад
ui-panel.js 3ec6bf0099 removed unnecessary async keywords 6 лет назад
ui-pendings.js bef17a3275 implemented "save selected links" and "Add URLs" (fix #333) 6 лет назад