tophf 74e6ea5a56 fixup c8c02805: +1 only when no previous widget found il y a 8 ans
..
applies-to-line-widget.js 74e6ea5a56 fixup c8c02805: +1 only when no previous widget found il y a 8 ans
codemirror-default.css 80547aef70 recognize USO-variables /*[[foo]]*/ and provide autocomplete hints il y a 8 ans
codemirror-default.js 3ed98cb506 fixup 80547aef: autocomplete should fallback to original helper il y a 8 ans
colorpicker-helper.js 7c0d8f0841 prevent inline overlays from breaking color swatches il y a 8 ans
edit.css 4fc54450b7 de-marginalize usercss editor; fix narrow @media il y a 8 ans
edit.js 8f04e17d27 fix #223 - Android compatibility il y a 8 ans
lint-codemirror-helper.js 80547aef70 recognize USO-variables /*[[foo]]*/ and provide autocomplete hints il y a 8 ans
lint-defaults-csslint.js 9946f3c781 regroup some of lint* data and code il y a 8 ans
lint-defaults-stylelint.js c0514a6699 Change: default linter il y a 8 ans
lint.js 74701810b7 remove cruft; silence eslint il y a 8 ans
match-highlighter-helper.js 7c0d8f0841 prevent inline overlays from breaking color swatches il y a 8 ans
regexp-tester.js e4cd984061 regexp tester: switch to existing tabs also in other windows il y a 8 ans
source-editor.js 74701810b7 remove cruft; silence eslint il y a 8 ans
util.js 0a6de8edb8 Add: make dirtyReporter.clear accept a key il y a 8 ans