You can see in the GIF that when I delete a decoration, the text following it also gets deleted.
This issue can be reproduced in this example.
Which browser are you using and how exactly are you doing the deletion?
I am using the latest version of Chrome and pressing the Backspace key to delete.
copying this text, “[[name]] is 123456” move the cursor to the end of “name” and press Backspace to reproduce the issue.
The issue also occurs on Safari, Firefox, and Edge.
Which operating system? Do you have any special keyboard/IME settings or browser extensions that might be relevant? Doing the thing in the screencast, both Chrome 131 and Firefox 133 on Linux just delete the decorated range as expected.
Windows 11. However, today I tried again in the “Example: Decorations” the issue has been fixed. Additionally, after upgrading “@codemirror/view” from 6.35.0 to 6.36.1, the problem was also resolved.
Oh, indeed, this was probably the same issue as this thread.
Yes, that seems to be the case. Thank you so much for your help!