Update text-editing.ts
This commit is contained in:
parent
f0f41a4dcb
commit
5dcaae4f51
|
@ -147,7 +147,6 @@ export class RSTextWrapper extends CodeMirrorWrapper {
|
||||||
case TokenID.BOOLEAN: {
|
case TokenID.BOOLEAN: {
|
||||||
if (!hasSelection && selection.from >= 2) {
|
if (!hasSelection && selection.from >= 2) {
|
||||||
const enclosingText = this.ref.view.state.sliceDoc(selection.from - 2, selection.from + 1);
|
const enclosingText = this.ref.view.state.sliceDoc(selection.from - 2, selection.from + 1);
|
||||||
console.log(enclosingText);
|
|
||||||
if (enclosingText === 'ℬ()') {
|
if (enclosingText === 'ℬ()') {
|
||||||
this.ref.view.dispatch({
|
this.ref.view.dispatch({
|
||||||
changes: [{ from: selection.from - 2, insert: 'ℬ' }]
|
changes: [{ from: selection.from - 2, insert: 'ℬ' }]
|
||||||
|
|
Loading…
Reference in New Issue
Block a user