stylus/edit
2018-08-06 15:11:27 +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 expose 'preserve_newlines' in beautifier; dehtmlize 2018-07-23 00:28:11 +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 preserve linebreaks in live-preview error text 2018-08-06 13:13:15 +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 set onbeforeunload only when dirty 2018-08-02 20:54:40 +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 make showCodeMirrorPopup modal 2018-07-22 19:37:49 +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 fill an empty @name with the default placeholder 2018-08-06 13:35:33 +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