Re: More font stuff

2001-08-22 Thread Jules Bean
On Wed, Aug 22, 2001 at 09:40:57PM +0300, Dekel Tsur wrote: > On Wed, Aug 22, 2001 at 07:07:35PM +0100, Jules Bean wrote: > > (Lars: your name looks funny in my email now, although it used to work > > fine. The character between the 'Bj' and the 'nnes' is a top-right > > corner, i.e. > I see tha

Re: More font stuff

2001-08-22 Thread Dekel Tsur
On Wed, Aug 22, 2001 at 07:07:35PM +0100, Jules Bean wrote: > (Lars: your name looks funny in my email now, although it used to work > fine. The character between the 'Bj' and the 'nnes' is a top-right > corner, i.e. > >_ > | > > Something is broken in my email program or yours...) I s

Re: More font stuff

2001-08-22 Thread Jules Bean
On Wed, Aug 22, 2001 at 07:13:28PM +0200, Lars Gullik Bjønnes wrote: > Andre Poenitz <[EMAIL PROTECTED]> writes: > > | The attached patch extends yesterday's by some kind of "graceful failing" > | in case of missing symbol fonts. Math symbols for which we can't find a > | font simply get displaye

Re: More font stuff

2001-08-22 Thread Andre Poenitz
> what I like to know is what requirements this put on the user. With the (already implemented in font3.diff) "graceful failing" in case of "missing" fonts this should put no extra requirement on the user: If he has suitables fonts and they are in the fontpath, they will be used. Otherwise he wi