wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-24 06:13:31 +00:00
Code Issues Packages Projects Releases Wiki Activity

Take out the blue highlight for cursor location

Browse source 
Bug: T162204
Change-Id: I6aca0103a2603bf37ff856a7dd6f2aa4137ee53c
This commit is contained in:
Pavel Astakhov 2017-04-05 10:50:42 +06:00
parent 80f38e03ec
commit cf07be26b3
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
resources/ext.CodeMirror.js
View file

@ -369,7 +369,7 @@
mwextDoubleUnderscore: mw.config.get( 'extCodeMirrorDoubleUnderscore' ), mwextDoubleUnderscore: mw.config.get( 'extCodeMirrorDoubleUnderscore' ),
mwextUrlProtocols: mw.config.get( 'extCodeMirrorUrlProtocols' ), mwextUrlProtocols: mw.config.get( 'extCodeMirrorUrlProtocols' ),
mwextModes: mw.config.get( 'extCodeMirrorExtModes' ), mwextModes: mw.config.get( 'extCodeMirrorExtModes' ),
styleActiveLine: true, // styleActiveLine: true, // disabled since Bug: T162204, maybe should be optional
lineWrapping: true, lineWrapping: true,
readOnly: $textbox1[ 0 ].readOnly, readOnly: $textbox1[ 0 ].readOnly,
// select mediawiki as text input mode // select mediawiki as text input mode