Gildas 1b8ff5564b Use negative outline-width for selections (fix #507) 5 years ago
..
content-ui-editor-web.js 1b8ff5564b Use negative outline-width for selections (fix #507) 5 years ago
content-ui-main.js 045d1ecb1a fixed mask fading issues 5 years ago