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