Gildas 5ea25ece90 fix profile-name value when saving teh page with "Save page with profile" (fix #600) hace 5 años
..
ui-button.js 49e6d1a17d updated copyright date hace 6 años
ui-commands.js 629cfa7cb0 save selected contents if any of the selected tabs when pressing the keyboard shortcut (fix #527) hace 5 años
ui-editor.js 20bbb595d3 run addListener synchronously hace 5 años
ui-main.js 33f4402db3 don't use lambdas or methods for interfaces hace 5 años
ui-menus.js 5ea25ece90 fix profile-name value when saving teh page with "Save page with profile" (fix #600) hace 5 años
ui-options.js 4cec99aa3e fix popup positioning hace 5 años
ui-panel.js 3ec6bf0099 removed unnecessary async keywords hace 6 años
ui-pendings.js bef17a3275 implemented "save selected links" and "Add URLs" (fix #333) hace 6 años