Gildas 14bd405120 added "auto-close the tab after the page is saved" option (fix #185) vor 6 Jahren
..
ui-button.js 256e34e113 cancel save when clicking the button a second time (cf #224 and #218) vor 6 Jahren
ui-commands.js 359dbd0fba use commands variable vor 6 Jahren
ui-main.js 1f61985943 renamed bg.menu to bg.menus vor 6 Jahren
ui-menus.js 68829d9447 fixed typo vor 6 Jahren
ui-options.js 14bd405120 added "auto-close the tab after the page is saved" option (fix #185) vor 6 Jahren