.. |
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
|
use color palette and enable a simple dark theme (#1405)
|
2022-02-17 03:10:59 +03:00 |
codemirror-default.js
|
check userAgentData when available
|
2022-01-27 15:21:02 +03:00 |
codemirror-factory.js
|
avoid double handling of keyboard event in rerouter
|
2022-02-12 21:31:35 +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
|
workaround for crbug.com/1288447
|
2022-02-19 17:20:26 +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
|
speed up and simplify i18n
|
2022-02-18 03:49:16 +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
|
scrollable details + sticky header (#1400)
|
2022-02-14 22:19:20 +03:00 |