Gildas 31e35bb1e9 add option "save original URLs of embedded resources" 4 年之前
..
index.js a6ac4120b6 rename function 4 年之前
ui-button.js a6ac4120b6 rename function 4 年之前
ui-commands.js a6ac4120b6 rename function 4 年之前
ui-editor.js 524f32ba65 fix sensibility issue when scrolling the toolbar 4 年之前
ui-menus.js a6ac4120b6 rename function 4 年之前
ui-options.js 31e35bb1e9 add option "save original URLs of embedded resources" 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 年之前