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