Abdelrazak Younes wrote:

> FYI, I have transferred the current_font and real_current_font from Text
> to Cursor. There are some new FIXME wrt latex_language which I don't
> understand. Please someone have a look at it. Bo or JMarc?

Welcome to the... twilight zone!

Btw, I got the impression that Dov acquired some insight about this stuff
lately ;-)

A/


Reply via email to