| .. |
|
applies-to-line-widget.js
|
only recalc applies-to css on live-update if style targets the editor
|
2019-10-13 20:59:50 +03:00 |
|
beautify.js
|
add a hotkey & right-click to beautify silently (#972)
|
2020-06-22 12:14:41 -04:00 |
|
codemirror-default.css
|
remove -webkit- prefix on standardized features
|
2020-10-14 19:48:59 +03:00 |
|
codemirror-default.js
|
fix local name customization for usercss/legacy
|
2020-10-22 15:01:49 +03:00 |
|
codemirror-factory.js
|
Change: modify match-highlighter plugin (#578)
|
2018-11-25 07:28:37 -06:00 |
|
codemirror-themes.js
|
Update vendor dependencies
|
2020-02-02 11:07:22 -06:00 |
|
colorpicker-helper.js
|
show a palette for current editor in color picker (#1068)
|
2020-10-18 16:40:11 +03:00 |
|
edit.css
|
moz-format CM focus style
|
2020-10-22 15:05:54 +03:00 |
|
edit.js
|
make editor load even faster
|
2020-10-22 15:03:07 +03:00 |
|
editor-worker.js
|
update polyfill for Chrome>=55
|
2020-10-08 11:19:18 +03:00 |
|
global-search.css
|
restore autosize-on-type of find input
|
2020-07-24 07:42:58 +03:00 |
|
global-search.js
|
Enhance: promisify chrome into browser, drop promisify (#866)
|
2020-08-14 20:16:01 +08:00 |
|
linter-config-dialog.js
|
tweak editor (#1063)
|
2020-10-13 21:14:54 +03:00 |
|
linter-defaults.js
|
Update Stylelint defaults for Stylus-lang at-rules (#695)
|
2019-04-14 08:39:22 -05:00 |
|
linter-engines.js
|
remove the redundant stylus-lang warning filter
|
2020-10-09 19:40:11 +03:00 |
|
linter-help-dialog.js
|
Remove duplicate rules in issue modal
|
2018-11-20 18:57:25 -06:00 |
|
linter-meta.js
|
Fix linting issues
|
2018-12-11 07:28:30 -06:00 |
|
linter-report.js
|
linter and compact layout improvements (#749)
|
2019-08-04 13:09:50 -04:00 |
|
linter.js
|
make editor load even faster
|
2020-10-22 15:03:07 +03:00 |
|
live-preview.js
|
tweak editor (#1063)
|
2020-10-13 21:14:54 +03:00 |
|
regexp-tester.js
|
use tab.pendingUrl (#1040)
|
2020-09-22 06:54:48 -04:00 |
|
reroute-hotkeys.js
|
add a hotkey & right-click to beautify silently (#972)
|
2020-06-22 12:14:41 -04:00 |
|
sections-editor-section.js
|
tweak editor (#1063)
|
2020-10-13 21:14:54 +03:00 |
|
sections-editor.js
|
clear dirty upon swapping style
|
2020-10-22 23:31:09 +03:00 |
|
show-keymap-help.js
|
restore Shift-Ctrl-Wheel to scroll window in multi-section mode (#1005)
|
2020-07-29 21:26:38 -04:00 |
|
source-editor.js
|
leave name input empty in new usercss style
|
2020-10-22 23:47:46 +03:00 |
|
util.js
|
add a hotkey & right-click to beautify silently (#972)
|
2020-06-22 12:14:41 -04:00 |
