| .. |
|
autocomplete.js
|
parserlib: reuse global keywords
|
2021-08-20 13:01:56 +03:00 |
|
base.js
|
scrollable details + sticky header (#1400)
|
2022-02-14 22:19:20 +03:00 |
|
beautify.js
|
show style settings in a dialog (#1374)
|
2021-12-29 22:57:22 +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
|
use color palette and enable a simple dark theme (#1405)
|
2022-02-17 03:10:59 +03:00 |
|
edit.js
|
use color palette and enable a simple dark theme (#1405)
|
2022-02-17 03:10:59 +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
|
use color palette and enable a simple dark theme (#1405)
|
2022-02-17 03:10:59 +03:00 |
|
regexp-tester.js
|
use duckduckgo favicons
|
2022-01-27 05:10:17 +03:00 |
|
sections-editor-section.js
|
remove duplicate toggleDataset call
|
2022-01-29 00:32:11 +03:00 |
|
sections-editor.js
|
scrollable details + sticky header (#1400)
|
2022-02-14 22:19:20 +03:00 |
|
settings.css
|
reuse radio-wrapper for visual uniformity
|
2022-02-17 03:26:20 +03:00 |
|
settings.html
|
reuse radio-wrapper for visual uniformity
|
2022-02-17 03:26:20 +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
|
draft recovery in editor (#1388)
|
2022-01-23 12:44:25 +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 |
