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