stylus/edit
2022-01-18 16:39:33 +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 resizable header panel (#1378) 2022-01-13 12:47:37 +03:00
edit.js deduplicate editor.useSavedStyle 2022-01-10 21:31:15 +03: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 csslint: add "known-pseudos" rule enabled by default (#1328) 2021-09-02 00:12:29 +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 show style settings in a dialog (#1374) 2021-12-29 22:57:22 +03:00
settings.html fix/deduplicate/simplify installer html/css/js (#1383) 2022-01-18 16:39:33 +03:00
settings.js fix/deduplicate/simplify installer html/css/js (#1383) 2022-01-18 16:39:33 +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 deduplicate editor.useSavedStyle 2022-01-10 21:31:15 +03: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 show style settings in a dialog (#1374) 2021-12-29 22:57:22 +03:00