stylus/edit
2022-01-22 12:06:29 +03:00
..
autocomplete.js parserlib: reuse global keywords 2021-08-20 13:01:56 +03:00
base.js confirm reload in sectioned editor 2022-01-10 19:12:29 +03:00
beautify.js show style settings in a dialog (#1374) 2021-12-29 22:57:22 +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 use css borders for split button triangle 2022-01-22 12:06:29 +03:00
edit.js save-as-template button in editor (#1385) 2022-01-19 14:45:45 +03:00
editor-worker.js update CodeMirror, stylelint, deps 2022-01-20 17:43:31 +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 update CodeMirror, stylelint, deps 2022-01-20 17:43:31 +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 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 resizable header panel (#1378) 2022-01-13 12:47:37 +03:00
sections-editor.js deduplicate editor.useSavedStyle 2022-01-10 21:31:15 +03:00
settings.css add per-style setting for autoupdate checks 2022-01-21 19:45:56 +03:00
settings.html add per-style setting for autoupdate checks 2022-01-21 19:45:56 +03:00
settings.js add per-style setting for autoupdate checks 2022-01-21 19:45:56 +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 save-as-template button in editor (#1385) 2022-01-19 14:45:45 +03:00
usw-integration.js tidy up USW-related UI and code (#1285) 2021-07-30 15:44:06 +03:00
util.js show style settings in a dialog (#1374) 2021-12-29 22:57:22 +03:00