at the cost of a marginally reduced accuracy when line wrapping is enabled, but the difference shouldn't be more than a few pixels, presumably |
||
|---|---|---|
| .. | ||
| applies-to-line-widget.js | ||
| codemirror-default.css | ||
| codemirror-default.js | ||
| colorpicker-helper.js | ||
| edit.css | ||
| edit.js | ||
| lint-codemirror-helper.js | ||
| lint-defaults-csslint.js | ||
| lint-defaults-stylelint.js | ||
| lint.js | ||
| match-highlighter-helper.js | ||
| regexp-tester.js | ||
| source-editor.js | ||
| util.js | ||