mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-27 15:40:00 +00:00
Merge "Lower maxHighlightLineLength limit to 5000"
This commit is contained in:
commit
9ab93e1c54
|
@ -131,7 +131,7 @@
|
|||
if ( mw.config.get( 'wgCodeMirrorEnableBracketMatching' ) ) {
|
||||
cmOptions.matchBrackets = {
|
||||
highlightNonMatching: false,
|
||||
maxHighlightLineLength: 10000
|
||||
maxHighlightLineLength: 5000
|
||||
};
|
||||
}
|
||||
|
||||
|
|
|
@ -85,7 +85,7 @@ ve.ui.CodeMirrorAction.prototype.toggle = function ( enable ) {
|
|||
if ( mw.config.get( 'wgCodeMirrorEnableBracketMatching' ) ) {
|
||||
cmOptions.matchBrackets = {
|
||||
highlightNonMatching: false,
|
||||
maxHighlightLineLength: 10000
|
||||
maxHighlightLineLength: 5000
|
||||
};
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue