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 години