search

mbeddr / mbeddr.core

The mbeddr core. An extensible C
Eclipse Public License 2.0
224 stars 77 forks source link

mbeddr.doc: FormattedText nodes cannot be copied/pasted #2400

Closed kbirken closed 2 months ago

kbirken commented 3 months ago

Nodes of concept FormattedText do not behave properly with cut/copy/paste. Cut does not remove the node and both cut and copy do not put the node into clipboard.

Tested with \code, \emph and \bold, but it probably is the same for all other implementors of FormattedText.

kbirken commented 3 months ago

I believe this a regression, I remember that it worked earlier (maybe about a year ago).

alexanderpann commented 2 months ago

This is a known issue in MPS-Extensions: JetBrains/MPS-extensions#828 that's why I close this issue.