On Fri, Sep 12, 2003 at 07:02:28PM +0930, Pierre Dumuid wrote: > So, is it is possible to change the color in the font editor, when > character's become bold?
Ok, I've just implemented some 'poor man's boldsymbol' by simply drawing the contents of some new 'boldsymbol inset' twice (1 pixel apart). It's pretty ugly but 'works'. Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson or B. Franklin or both...)
