Gildas 82a73e93eb added option "Annotation editor > warn if leaving page with unsaved changes" 5 lat temu
..
ui-button.js 49e6d1a17d updated copyright date 6 lat temu
ui-commands.js 49e6d1a17d updated copyright date 6 lat temu
ui-editor.js 82a73e93eb added option "Annotation editor > warn if leaving page with unsaved changes" 5 lat temu
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 lat temu
ui-menus.js 6d7960af3c prevent annotating linked pages in saved pages 5 lat temu
ui-options.js 82a73e93eb added option "Annotation editor > warn if leaving page with unsaved changes" 5 lat temu
ui-panel.js 3ec6bf0099 removed unnecessary async keywords 6 lat temu
ui-pendings.js bef17a3275 implemented "save selected links" and "Add URLs" (fix #333) 6 lat temu