[Texmacs-dev] Minor cosmetic issues

[Nix]

Hi !

Using TeXmacs-1.0.3.2, I have noticed that large delimiters are rendered
badly on-screen.

Overbrace and underbrace seem to be missing one of their arms, although
both characters forming the ends of the brace are present.  This latter
problem looks like a missing ``for'' loop somewhere in the C++ code
IIRC.

I have attached a PNG illustrating the problems.

texmacs-brace-bugs.png
Description: PNG image