[Texmacs-dev] New fonts, cut menu items

[Alvaro Tejero Cantero]

Hello,

Since the new fonts came in I have experienced several changes (i.e.
sans serif now is italic by default, and the good old \math-ss has
stopped working). But one of the more evident here is that menu items
appear to bear an upper cut by at least 1px. The TeXmacs interface looks
a little bit unpolished now, due to this.

I can provide a screenshot for anybody not experiencing this locally.


'A.