Gildas 77d6ef6f4e added option to include the infobar in saved pages (fix #243) 6 år sedan
..
ui-button.js 202b1d547b cancel save when clicking the button a second time (cf #224 and #218) 6 år sedan
ui-commands.js 359dbd0fba use commands variable 6 år sedan
ui-main.js 1f61985943 renamed bg.menu to bg.menus 6 år sedan
ui-menus.js a3532f17b3 fixed typo 6 år sedan
ui-options.js 77d6ef6f4e added option to include the infobar in saved pages (fix #243) 6 år sedan