Gildas a7b56631f7 override selection colors with highlight colors 5 years ago
..
content-ui-editor-init-web.js 26333d2447 make sure shadowRoot is defined 5 years ago
content-ui-editor-web.js a7b56631f7 override selection colors with highlight colors 5 years ago
content-ui-main.js 73cf54933d ignore errors when updating UI elements (fix #540) 5 years ago