Gildas 31e35bb1e9 add option "save original URLs of embedded resources" il y a 4 ans
..
index.js a6ac4120b6 rename function il y a 4 ans
ui-button.js a6ac4120b6 rename function il y a 4 ans
ui-commands.js a6ac4120b6 rename function il y a 4 ans
ui-editor.js 524f32ba65 fix sensibility issue when scrolling the toolbar il y a 4 ans
ui-menus.js a6ac4120b6 rename function il y a 4 ans
ui-options.js 31e35bb1e9 add option "save original URLs of embedded resources" il y a 4 ans
ui-panel.js 6b9b6df022 use ES6 modules in the extension code il y a 5 ans
ui-pendings.js 6b9b6df022 use ES6 modules in the extension code il y a 5 ans