stylus/edit
2022-10-08 13:07:57 +03:00
..
autocomplete.js [autocomplete] find LESS vars 2022-08-30 10:31:21 +03:00
base.js reuse setInputValue 2022-09-05 22:41:17 +03:00
beautify.js add @-moz-document indent to beautifier 2022-02-21 23:35:49 +03:00
codemirror-default.css instant match hl same as other editors 2022-02-28 10:18:15 +03:00
codemirror-default.js use /* */ for line comments in less/stylus 2022-08-28 22:48:49 +03:00
codemirror-factory.js add upDownKeyJumps option, remove left/right 2022-10-08 13:07:57 +03:00
codemirror-themes.js fix/simplify editor loader 2022-03-24 17:52:26 +03:00
drafts.js allow non-object values in db 2022-01-29 16:39:30 +03:00
edit.css add upDownKeyJumps option, remove left/right 2022-10-08 13:07:57 +03:00
edit.js fix and simplify applyScrollInfo 2022-09-01 11:35:24 +03:00
editor-worker.js error.stack has no message in FF 2022-09-01 10:30:46 +03:00
embedded-popup.js fix/simplify editor loader 2022-03-24 17:52:26 +03:00
global-search.css fix search-target-editor style 2020-12-08 23:03:13 +03:00
global-search.js reuse setInputValue 2022-09-05 22:41:17 +03:00
linter-dialogs.js fix links in linter help dialog 2021-08-31 17:22:10 +03:00
linter-manager.js stylelint 14.9.1 2022-08-06 23:20:29 +03:00
moz-section-finder.js API groups + use executeScript for early injection (#1149) 2021-01-01 17:27:58 +03:00
moz-section-widget.js fix/simplify editor loader 2022-03-24 17:52:26 +03:00
regexp-tester.js use duckduckgo favicons 2022-01-27 05:10:17 +03:00
sections-editor-section.js add upDownKeyJumps option, remove left/right 2022-10-08 13:07:57 +03:00
sections-editor.js add upDownKeyJumps option, remove left/right 2022-10-08 13:07:57 +03:00
settings.css add USA/USW/US/GF splitter to Find styles 2022-02-21 02:01:50 +03:00
settings.html simplify/generalize close-on-esc 2022-02-21 23:45:42 +03:00
settings.js use color palette and enable a simple dark theme (#1405) 2022-02-17 03:10:59 +03:00
show-keymap-help.js API groups + use executeScript for early injection (#1149) 2021-01-01 17:27:58 +03:00
source-editor.js fix and simplify applyScrollInfo 2022-09-01 11:35:24 +03:00
usw-integration.js fix/simplify editor loader 2022-03-24 17:52:26 +03:00
util.js simplify/generalize close-on-esc 2022-02-21 23:45:42 +03:00