Gildas 84d770e753 added "auto-close the tab after the page is saved" option (fix #185) %!s(int64=6) %!d(string=hai) anos
..
ui-button.js 202b1d547b cancel save when clicking the button a second time (cf #224 and #218) %!s(int64=6) %!d(string=hai) anos
ui-commands.js 359dbd0fba use commands variable %!s(int64=6) %!d(string=hai) anos
ui-main.js 1f61985943 renamed bg.menu to bg.menus %!s(int64=6) %!d(string=hai) anos
ui-menus.js a3532f17b3 fixed typo %!s(int64=6) %!d(string=hai) anos
ui-options.js 84d770e753 added "auto-close the tab after the page is saved" option (fix #185) %!s(int64=6) %!d(string=hai) anos