Dine kommentarer
Yeah, I stumbled upon this bug too — when you have a mirrored tabstop with replacement and another tabstop right next to it, then this tabstop won't work. The only solution that I found is to insert something between them, like a space character, but that could be possible for just a few cases.
Kundesupport af UserEcho
So, as I mentioned `auto_indent` — here is an obvious workaround for this bug: wrapping the inserting and erasing characters with
and
fixes this bug, however in your plugin you should cache the current state of this settings like this: