| .. |
|
applies-to-line-widget.js
|
use just one event listener per applies-to widget in usercss editor
|
2017-12-03 21:21:51 +03:00 |
|
beautify.js
|
edit.js: pull out hooks, sections, keymap help, beautify
|
2017-12-02 23:46:00 +03:00 |
|
codemirror-default.css
|
FF: fix transition-bug-suppressor condition
|
2017-12-02 19:38:03 +03:00 |
|
codemirror-default.js
|
editor: raise highlight limit from 10k to 100k chars in one line
|
2017-12-03 02:02:22 +03:00 |
|
codemirror-editing-hooks.js
|
fixup 0e61de29: register the listener before setupLivePrefs()
|
2017-12-03 04:18:58 +03:00 |
|
colorpicker-helper.js
|
disallow more nav keys in colorpicker hotkey config dialog
|
2017-12-02 17:15:55 +03:00 |
|
edit.css
|
use just one event listener per applies-to widget in usercss editor
|
2017-12-03 21:21:51 +03:00 |
|
edit.js
|
actually use the name when saving
|
2017-12-03 20:32:50 +03:00 |
|
lint-codemirror-helper.js
|
render lint squigglies 4x faster
|
2017-12-01 03:49:09 +03:00 |
|
lint-defaults-csslint.js
|
regroup some of lint* data and code
|
2017-08-28 15:20:37 +03:00 |
|
lint-defaults-stylelint.js
|
Change: default linter
|
2017-10-06 16:33:49 +08:00 |
|
lint.js
|
edit.js: pull out hooks, sections, keymap help, beautify
|
2017-12-02 23:46:00 +03:00 |
|
match-highlighter-helper.js
|
stabilize token highlighting for the match/search mode
|
2017-12-01 21:16:19 +03:00 |
|
regexp-tester.js
|
use just one event listener per applies-to widget in usercss editor
|
2017-12-03 21:21:51 +03:00 |
|
sections.js
|
edit.js: pull out hooks, sections, keymap help, beautify
|
2017-12-02 23:46:00 +03:00 |
|
show-keymap-help.js
|
de-htmlize showKeymapHelp
|
2017-12-03 00:20:42 +03:00 |
|
source-editor.js
|
usercss: make nextPrevMozDocument work with minified CSS
|
2017-12-03 04:05:35 +03:00 |
|
util.js
|
Add: make dirtyReporter.clear accept a key
|
2017-10-16 16:05:48 +08:00 |
