mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Make code folding case insensitive in the code mirror. Fixes #4264
This commit is contained in:
committed by
Akshay Joshi
parent
1b33c52eac
commit
c64eb3507c
@@ -27,7 +27,7 @@
|
||||
let startTkn = tokenSet[tokenSetNo].start,
|
||||
endTkn = tokenSet[tokenSetNo].end;
|
||||
while (at > 0) {
|
||||
var found = lineText.lastIndexOf(startTkn, at);
|
||||
var found = lineText.toUpperCase().lastIndexOf(startTkn, at);
|
||||
var startToken = startTkn;
|
||||
var endToken = endTkn;
|
||||
|
||||
@@ -50,12 +50,12 @@
|
||||
}
|
||||
at = found - 1;
|
||||
}
|
||||
if (startChar == null || lineText.lastIndexOf(startToken) > startChar) return;
|
||||
if (startChar == null || lineText.toUpperCase().lastIndexOf(startToken) > startChar) return;
|
||||
var count = 1,
|
||||
lastLine = cm.lineCount(),
|
||||
end, endCh;
|
||||
outer: for (var i = line + 1; i < lastLine; ++i) {
|
||||
var text = cm.getLine(i),
|
||||
var text = cm.getLine(i).toUpperCase(),
|
||||
pos = 0;
|
||||
var whileloopvar = 0;
|
||||
while (whileloopvar < 1) {
|
||||
|
||||
Reference in New Issue
Block a user