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