MPS-extensions icon indicating copy to clipboard operation
MPS-extensions copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Fix remaining issues in richtext + document shortcuts

Open alexanderpann opened this issue 1 year ago • 0 comments

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.

alexanderpann avatar Jul 29 '23 14:07 alexanderpann