On Wed, Sep 18, 2002 at 05:24:42PM +0300, Martin Vermeer wrote: > I believe it is 'go back to default math font'. You are in math when you > press this button -- or at least you're supposed to be...
This does not play well with the "font changes are insets" idea very well. Of course one could just remove the innermost font change. Not sure whether this is sensible or wanted though... Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson)
