| .. |
|
autocomplete.js
|
parserlib: reuse global keywords
|
2021-08-20 13:01:56 +03:00 |
|
base.js
|
error may be an object
|
2022-06-23 21:29:52 +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
|
fix/simplify editor loader
|
2022-03-24 17:52:26 +03:00 |
|
codemirror-factory.js
|
fix/simplify editor loader
|
2022-03-24 17:52:26 +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
|
improve power-off switch (#1412)
|
2022-03-31 12:25:37 +03:00 |
|
edit.js
|
fix/simplify editor loader
|
2022-03-24 17:52:26 +03:00 |
|
editor-worker.js
|
update CodeMirror, stylelint, deps
|
2022-01-20 17:43:31 +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
|
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/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
|
limit section's height to viewport
|
2022-04-11 14:05:02 +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
|
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 |
