wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-27 08:30:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Enable live autocompletion in CodeEditor

Browse source 
Bug: T377663
Change-Id: Ie7589c9ae7397ba389ef66cce0c354df747d423b
This commit is contained in:
Siddharth VP 2024-10-20 01:43:08 +05:30
parent d3920f2a1c
commit 800ce75e9d
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'
} ); } );