mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-23 14:56:43 +00:00
8b7b17f9ee
This uses JS to figure out if the user is currently in dark mode and set the Ace theme accordingly. This means the theme doesn't reconfigure if the user or the OS switches dark mode on/off while CodeEditor is open, but this is better than nothing. Ace theme 'monokai' is used for dark mode, and 'textmate' is used for light mode, as before. Bug: T375982 Change-Id: Icd683ee51cb86b3352d8f23f652b4ce7a6174b4d |
||
---|---|---|
.phan | ||
i18n | ||
includes | ||
modules | ||
tests | ||
.eslintignore | ||
.eslintrc.json | ||
.gitignore | ||
.gitreview | ||
.phpcs.xml | ||
.stylelintrc.json | ||
CODE_OF_CONDUCT.md | ||
composer.json | ||
COPYING | ||
extension.json | ||
Gruntfile.js | ||
hooks.txt | ||
package-lock.json | ||
package.json |