Closed plux closed 5 months ago
This is not really a proper fix since it will make text editing less efficient, but finding the root cause is tricky.
A follow up change could be made to fix the root cause.
Fixes #1427.
This is not really a proper fix since it will make text editing less efficient, but finding the root cause is tricky.
A follow up change could be made to fix the root cause.
Fixes #1427.