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

Merge "VE CodeMirror: Don't handle any specialChars"

Browse source
This commit is contained in:
jenkins-bot 2017-07-13 14:04:38 +00:00 committed by Gerrit Code Review
parent 67ede8cd63 16225450c8
commit 3f429a2992
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
resources/modules/ve-cm/ve.ui.CodeMirrorAction.js
View file

@ -50,6 +50,7 @@ ve.ui.CodeMirrorAction.prototype.toggle = function ( enable ) {
lineWrapping: true,
tabSize: 1,
scrollbarStyle: 'null',
specialChars: /^$/,
viewportMargin: 5,
// select mediawiki as text input mode
mode: 'text/mediawiki',