Gildas 84b7097eee hide entry fome menu if necessary (fix #382) há 5 anos atrás
..
ui-button.js 47509ea932 updated copyright date há 6 anos atrás
ui-commands.js 47509ea932 updated copyright date há 6 anos atrás
ui-editor.js b7e9845995 hide button when the page cannot be formatted há 6 anos atrás
ui-main.js 47509ea932 updated copyright date há 6 anos atrás
ui-menus.js 84b7097eee hide entry fome menu if necessary (fix #382) há 5 anos atrás
ui-options.js 4023c37de9 added option "link the new bookmark to the saved page" (fix #354) há 6 anos atrás
ui-panel.js ef8f05717e removed unnecessary async keywords há 6 anos atrás
ui-pendings.js 44d3796f55 implemented "save selected links" and "Add URLs" (fix #333) há 6 anos atrás