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

Merge "Fix bracket matching getting stuck when leaving the brackets"

Browse source
This commit is contained in:
jenkins-bot 2021-04-23 14:58:23 +00:00 committed by Gerrit Code Review
parent 26a05d1dd0 5186c6f3a2
commit f569bf8d75
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
resources/addon/edit/matchbrackets-wmde.js
View file

@ -159,6 +159,9 @@
} ) &&
// Must be empty at the end, i.e. all elements must have been found and removed
!config.currentMarks.length;
// Restore config.currentMarks after the loop above destroyed the original. This is done for
// performance reasons to avoid the need for an (expensive) copy.
config.currentMarks = marks;
return same;
}
@ -247,7 +250,10 @@
if (!autoclear && config.currentlyHighlighted) {
config.currentlyHighlighted();
config.currentlyHighlighted = null;
// Backup of the new mark positions must be done after the clear above
config.currentMarks = markPositions;
}
for (i = 0; i < markPositions.length; i++) {
marks.push(cm.markText(
markPositions[i].from,