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. _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
