| .. |
|
autocomplete.js
|
parserlib: reuse global keywords
|
2021-08-20 13:01:56 +03:00 |
|
base.js
|
WIP: refactor editor CSS
|
2021-12-10 04:44:44 +08:00 |
|
beautify.js
|
add buttons to hotkey input, reset on Del/BackSpace
|
2021-08-06 16:01:55 +03:00 |
|
codemirror-default.css
|
API groups + use executeScript for early injection (#1149)
|
2021-01-01 17:27:58 +03:00 |
|
codemirror-default.js
|
CodeMirror 5.62.3
|
2021-08-20 12:16:24 +03:00 |
|
codemirror-factory.js
|
fix bookmarks being orphanized/stranded
|
2021-06-29 05:45:04 +03:00 |
|
codemirror-themes.js
|
CodeMirror 5.62.0
|
2021-07-21 13:01:39 +03:00 |
|
edit.css
|
WIP: refactor editor CSS
|
2021-12-10 04:44:44 +08:00 |
|
edit.js
|
Add: style settings (#1358)
|
2021-12-07 12:44:49 +08:00 |
|
editor-worker.js
|
parserlib: reuse global keywords
|
2021-08-20 13:01:56 +03:00 |
|
embedded-popup.js
|
API groups + use executeScript for early injection (#1149)
|
2021-01-01 17:27:58 +03:00 |
|
global-search.css
|
fix search-target-editor style
|
2020-12-08 23:03:13 +03:00 |
|
global-search.js
|
tidy up USW-related UI and code (#1285)
|
2021-07-30 15:44:06 +03:00 |
|
linter-dialogs.js
|
fix links in linter help dialog
|
2021-08-31 17:22:10 +03:00 |
|
linter-manager.js
|
WIP: refactor editor CSS
|
2021-12-10 04:44:44 +08: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
|
avoid FOUC for dark themes in applies-to widget
|
2021-09-21 22:51:18 +03:00 |
|
regexp-tester.js
|
update regexp report when tab is removed
|
2021-09-11 15:58:59 +03:00 |
|
sections-editor-section.js
|
fix resizing of last section if page is scrolled
|
2021-01-07 14:52:38 +03:00 |
|
sections-editor.js
|
Add: style settings (#1358)
|
2021-12-07 12:44:49 +08:00 |
|
settings.css
|
autosize textareas in style settings (#1360)
|
2021-12-07 14:43:21 +03:00 |
|
settings.js
|
Add: support inclusions (#1359)
|
2021-12-08 18:30:16 +08:00 |
|
show-keymap-help.js
|
API groups + use executeScript for early injection (#1149)
|
2021-01-01 17:27:58 +03:00 |
|
source-editor.js
|
Add: style settings (#1358)
|
2021-12-07 12:44:49 +08:00 |
|
tab.css
|
Add: style settings (#1358)
|
2021-12-07 12:44:49 +08:00 |
|
tab.js
|
Add: style settings (#1358)
|
2021-12-07 12:44:49 +08:00 |
|
usw-integration.js
|
tidy up USW-related UI and code (#1285)
|
2021-07-30 15:44:06 +03:00 |
|
util.js
|
add buttons to hotkey input, reset on Del/BackSpace
|
2021-08-06 16:01:55 +03:00 |
