Gildas 54e8cf5fa4 added option to include the infobar in saved pages (fix #243) hace 6 años
..
ui-button.js 256e34e113 cancel save when clicking the button a second time (cf #224 and #218) hace 6 años
ui-commands.js 359dbd0fba use commands variable hace 6 años
ui-main.js 1f61985943 renamed bg.menu to bg.menus hace 6 años
ui-menus.js 68829d9447 fixed typo hace 6 años
ui-options.js 54e8cf5fa4 added option to include the infobar in saved pages (fix #243) hace 6 años