wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 14:56:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Enable live autocompletion in CodeEditor"

Browse source
This commit is contained in:
jenkins-bot 2024-11-12 03:31:01 +00:00 committed by Gerrit Code Review
parent 390486e347 800ce75e9d
commit 306a0f1df6
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
modules/jquery.codeEditor.js
View file

@ -375,6 +375,7 @@
// The options to enable // The options to enable
context.codeEditor.setOptions( { context.codeEditor.setOptions( {
enableBasicAutocompletion: true, enableBasicAutocompletion: true,
enableLiveAutocompletion: true,
enableSnippets: true, enableSnippets: true,
theme: inDarkMode ? 'ace/theme/monokai' : 'ace/theme/textmate' theme: inDarkMode ? 'ace/theme/monokai' : 'ace/theme/textmate'
} ); } );