Gildas fc8e0582a6 add option "block mixed content" (see #804) 4 rokov pred
..
index.js a6ac4120b6 rename function 4 rokov pred
ui-button.js a6ac4120b6 rename function 4 rokov pred
ui-commands.js a6ac4120b6 rename function 4 rokov pred
ui-editor.js 524f32ba65 fix sensibility issue when scrolling the toolbar 4 rokov pred
ui-menus.js a6ac4120b6 rename function 4 rokov pred
ui-options.js fc8e0582a6 add option "block mixed content" (see #804) 4 rokov pred
ui-panel.js 6b9b6df022 use ES6 modules in the extension code 5 rokov pred
ui-pendings.js 6b9b6df022 use ES6 modules in the extension code 5 rokov pred