stylus/edit
tophf a94969e47d remove padding from linter report items
(icons already take care of proper spacing)
2020-11-08 20:29:10 +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 editor: section labels, TOC, tweaks (#1086) 2020-11-08 11:12:42 +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 improve colorpicker dialog (#1079) 2020-10-26 18:03:41 +03:00
edit.css remove padding from linter report items 2020-11-08 20:29:10 +03:00
edit.js editor: section labels, TOC, tweaks (#1086) 2020-11-08 11:12:42 +03:00
editor-worker.js strip stylelint warnings for // comments with @preprocessor 2020-10-28 13:19:17 +03:00
global-search.css restore autosize-on-type of find input 2020-07-24 07:42:58 +03:00
global-search.js editor: section labels, TOC, tweaks (#1086) 2020-11-08 11:12:42 +03: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 strip stylelint warnings for // comments with @preprocessor 2020-10-28 13:19:17 +03:00
linter-help-dialog.js Remove duplicate rules in issue modal 2018-11-20 18:57:25 -06:00
linter-meta.js editor: section labels, TOC, tweaks (#1086) 2020-11-08 11:12:42 +03:00
linter-report.js unbork marks in linter report 2020-11-08 20:29:09 +03:00
linter.js make editor load even faster 2020-10-22 15:03:07 +03:00
live-preview.js editor: section labels, TOC, tweaks (#1086) 2020-11-08 11:12:42 +03:00
moz-section-finder.js editor: section labels, TOC, tweaks (#1086) 2020-11-08 11:12:42 +03:00
moz-section-widget.js editor: section labels, TOC, tweaks (#1086) 2020-11-08 11:12:42 +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 editor: section labels, TOC, tweaks (#1086) 2020-11-08 11:12:42 +03:00
sections-editor.js editor: section labels, TOC, tweaks (#1086) 2020-11-08 11:12:42 +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 editor: section labels, TOC, tweaks (#1086) 2020-11-08 11:12:42 +03:00
util.js editor: section labels, TOC, tweaks (#1086) 2020-11-08 11:12:42 +03:00