stylus/edit
2018-09-03 20:54:25 +03:00
..
applies-to-line-widget.js make a copy of the applies-to template 2018-07-22 16:36:50 +03:00
beautify.js use showHelp.close when it's defined 2018-08-29 15:39:18 +03:00
codemirror-default.css draw fold marks in CSS since some fonts may not have them 2018-05-06 13:11:19 +03:00
codemirror-default.js fixup 74ef2f6f: 'editors' is a const 2018-07-10 11:45:52 +03:00
codemirror-editing-hooks.js don't hook auxiliary CMs 2018-09-03 20:54:25 +03:00
colorpicker-helper.js rewrite colorview to use CodeMirror::TextMarker 2017-12-22 11:22:35 +03:00
csslint-loader.js move linter worker loaders to edit/ 2018-07-10 11:35:19 +03:00
edit.css add buttons to restore, clone, move a section 2018-07-23 21:24:35 +03:00
edit.js simplify listener registration 2018-08-07 20:11:11 +03:00
global-search.css toggle narrow width mode tooltips via html+css; code cosmetics 2017-12-19 02:48:47 +03:00
global-search.js actually run restoreWindowScrollPos in a microtask 2018-08-16 18:09:50 +03:00
lint-codemirror-helper.js code cosmetics 2018-08-06 15:11:27 +03:00
lint-defaults-csslint.js report invalid selector in :not() as a warning 2018-03-03 17:28:29 +03:00
lint-defaults-stylelint.js Change: default linter 2017-10-06 16:33:49 +08:00
lint.js add buttons to restore, clone, move a section 2018-07-23 21:24:35 +03:00
match-highlighter-helper.js match-highlighter: always use originalToken 2017-12-18 10:27:50 +03:00
regexp-tester.js more things made focusable 2017-12-13 07:38:36 +03:00
sections.js add buttons to restore, clone, move a section 2018-07-23 21:24:35 +03:00
show-keymap-help.js off-by-one in showKeyMapHelp: text after <mark> was lost 2017-12-09 20:43:47 +03:00
source-editor.js fix headerOnScroll 2018-08-24 14:31:29 +03:00
stylelint-loader.js move linter worker loaders to edit/ 2018-07-10 11:35:19 +03:00
util.js add buttons to restore, clone, move a section 2018-07-23 21:24:35 +03:00