Fix remaining issues in richtext + document shortcuts

JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.

https://jetbrains.github.io/MPS-extensions/

Apache License 2.0

82 stars 50 forks source link

Fix remaining issues in richtext + document shortcuts #647

Open alexanderpann opened 1 year ago

alexanderpann commented 1 year ago

There are still a few rare IndexOfOutBoundsException exceptions. The selection handling could also be further improved (in addition to https://github.com/JetBrains/MPS-extensions/pull/535), especially when you use the language in com.mbeddr.doc documents.