Update text-editing.ts
This commit is contained in:
parent
e2ab676ec2
commit
5f2239dc26
|
@ -290,7 +290,7 @@ export class RSTextWrapper extends CodeMirrorWrapper {
|
||||||
if (!text.startsWith('ℬ') || !text.endsWith(')')) {
|
if (!text.startsWith('ℬ') || !text.endsWith(')')) {
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
const openParenIndex = text.indexOf('(', 1); // start after 'ℬ'
|
const openParenIndex = text.indexOf('(', 1);
|
||||||
if (openParenIndex === -1) {
|
if (openParenIndex === -1) {
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user