| .. |
|
autocomplete.js
|
parserlib: reuse global keywords
|
2021-08-20 13:01:56 +03:00 |
|
base.js
|
deflicker name element in new usercss
|
2022-02-20 18:34:51 +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
|
enable activeline highlight with selection
|
2022-02-28 10:15:11 +03:00 |
|
codemirror-factory.js
|
instant match hl same as other editors
|
2022-02-28 10:18:15 +03:00 |
|
codemirror-themes.js
|
CodeMirror 5.62.0
|
2021-07-21 13:01:39 +03:00 |
|
drafts.js
|
allow non-object values in db
|
2022-01-29 16:39:30 +03:00 |
|
edit.css
|
instant match hl same as other editors
|
2022-02-28 10:18:15 +03:00 |
|
edit.js
|
simplify and speed up init in manage/edit
|
2022-02-20 19:26:26 +03:00 |
|
editor-worker.js
|
update CodeMirror, stylelint, deps
|
2022-01-20 17:43:31 +03:00 |
|
embedded-popup.js
|
scrollable details + sticky header (#1400)
|
2022-02-14 22:19:20 +03:00 |
|
global-search.css
|
fix search-target-editor style
|
2020-12-08 23:03:13 +03:00 |
|
global-search.js
|
use color palette and enable a simple dark theme (#1405)
|
2022-02-17 03:10:59 +03:00 |
|
linter-dialogs.js
|
fix links in linter help dialog
|
2021-08-31 17:22:10 +03:00 |
|
linter-manager.js
|
scrollable details + sticky header (#1400)
|
2022-02-14 22:19:20 +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 mozdoc widget when duplicating section
|
2022-02-18 22:29:02 +03:00 |
|
regexp-tester.js
|
use duckduckgo favicons
|
2022-01-27 05:10:17 +03:00 |
|
sections-editor-section.js
|
simplify and speed up init in manage/edit
|
2022-02-20 19:26:26 +03:00 |
|
sections-editor.js
|
simplify and speed up init in manage/edit
|
2022-02-20 19:26:26 +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
|
simplify and speed up init in manage/edit
|
2022-02-20 19:26:26 +03:00 |
|
usw-integration.js
|
tidy up USW-related UI and code (#1285)
|
2021-07-30 15:44:06 +03:00 |
|
util.js
|
simplify/generalize close-on-esc
|
2022-02-21 23:45:42 +03:00 |
