Gildas 734c48a404 add option "auto-save on tab removal" (fix #703) 4 лет назад
..
index.js 6b9b6df022 use ES6 modules in the extension code 5 лет назад
ui-button.js 6b9b6df022 use ES6 modules in the extension code 5 лет назад
ui-commands.js 6b9b6df022 use ES6 modules in the extension code 5 лет назад
ui-editor.js 1d5265ef1f add option "open saved pages in a new tab" (cf. #703) 4 лет назад
ui-menus.js 80f481d9fa fix disabling of autosave (fix #626) 4 лет назад
ui-options.js 734c48a404 add option "auto-save on tab removal" (fix #703) 4 лет назад
ui-panel.js 6b9b6df022 use ES6 modules in the extension code 5 лет назад
ui-pendings.js 6b9b6df022 use ES6 modules in the extension code 5 лет назад