stylus/edit
2018-10-14 16:27:17 +08:00
..
applies-to-line-widget.js WIP: kill cachedStyles 2018-10-11 00:54:38 +08:00
beautify.js WIP: kill cachedStyles 2018-10-11 00:54:38 +08: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 Fix: don't reorder options 2018-10-14 02:49:22 +08:00
codemirror-factory.js Fix: autoCloseBrackets is true by default 2018-10-11 02:19:14 +08:00
colorpicker-helper.js WIP: kill cachedStyles 2018-10-11 00:54:38 +08:00
edit.css Fix: minor 2018-10-14 02:54:29 +08:00
edit.js Fix: minor 2018-10-14 15:58:33 +08:00
editor-worker.js Fix: minor 2018-10-14 16:17:45 +08:00
exclusions.js WIP: kill cachedStyles 2018-10-11 00:54:38 +08: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 WIP: kill cachedStyles 2018-10-11 00:54:38 +08:00
linter-config-dialog.js WIP: kill cachedStyles 2018-10-11 00:54:38 +08:00
linter-defaults.js WIP: kill cachedStyles 2018-10-11 00:54:38 +08:00
linter-engines.js WIP: kill cachedStyles 2018-10-11 00:54:38 +08:00
linter-help-dialog.js WIP: kill cachedStyles 2018-10-11 00:54:38 +08:00
linter-meta.js Change: simpler styleCodeEmpty 2018-10-11 20:00:25 +08:00
linter-report.js WIP: kill cachedStyles 2018-10-11 00:54:38 +08:00
linter.js WIP: kill cachedStyles 2018-10-11 00:54:38 +08:00
live-preview.js WIP: kill cachedStyles 2018-10-11 00:54:38 +08:00
match-highlighter-helper.js WIP: kill cachedStyles 2018-10-11 00:54:38 +08:00
refresh-on-view.js Add: refresh on view 2018-10-11 19:00:05 +08:00
regexp-tester.js Fix: various 2018-10-13 16:11:38 +08:00
reroute-hotkeys.js Fix: minor 2018-10-14 16:17:45 +08:00
sections-editor-section.js Fix: minor 2018-10-14 16:27:17 +08:00
sections-editor.js Fix: drop unused getCode 2018-10-14 16:20:14 +08:00
show-keymap-help.js WIP: kill cachedStyles 2018-10-11 00:54:38 +08:00
source-editor.js Fix: replaceStyle make style name undefined 2018-10-12 15:30:35 +08:00
util.js WIP: kill cachedStyles 2018-10-11 00:54:38 +08:00