Gildas 510d715579 fix toolbar scrolling 5 years ago
..
ui-button.js 49e6d1a17d updated copyright date 6 years ago
ui-commands.js 629cfa7cb0 save selected contents if any of the selected tabs when pressing the keyboard shortcut (fix #527) 5 years ago
ui-editor.js 510d715579 fix toolbar scrolling 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 63bb06ff6e add choice "remove external elements" as default mode (see #516) 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