I have to admit that GNU TeXmacs is buggy.

And I've fixed some of them by myself or with the help of other contributors.

Please report bugs to https://savannah.gnu.org/bugs/?group=texmacs

And we will fix it as soon as possible.

For the next release: TeXmacs 2.1, we mainly focus on bug fixes.