jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/346493 )
Change subject: Take out the blue highlight for cursor location
......................................................................
Take out the blue highlight for cursor location
Bug: T162204
Change-Id: I6aca0103a2603bf37ff856a7dd6f2aa4137ee53c
---
M resources/ext.CodeMirror.js
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Kaldari: Looks good to me, approved
diff --git a/resources/ext.CodeMirror.js b/resources/ext.CodeMirror.js
index edab896..3d48d0b 100644
--- a/resources/ext.CodeMirror.js
+++ b/resources/ext.CodeMirror.js
@@ -369,7 +369,7 @@
mwextDoubleUnderscore: mw.config.get(
'extCodeMirrorDoubleUnderscore' ),
mwextUrlProtocols: mw.config.get(
'extCodeMirrorUrlProtocols' ),
mwextModes: mw.config.get( 'extCodeMirrorExtModes' ),
- styleActiveLine: true,
+ // styleActiveLine: true, // disabled since Bug:
T162204, maybe should be optional
lineWrapping: true,
readOnly: $textbox1[ 0 ].readOnly,
// select mediawiki as text input mode
--
To view, visit https://gerrit.wikimedia.org/r/346493
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I6aca0103a2603bf37ff856a7dd6f2aa4137ee53c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeMirror
Gerrit-Branch: master
Gerrit-Owner: Pastakhov <[email protected]>
Gerrit-Reviewer: Kaldari <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
