Re: [Pgui-devel] default font size

2001-04-18 Thread Micah Dowty
This is a bug in the server's fontcmp() function. In it's current behavior, if size is zero it simply picks the first font in the list. Turns out that because of the way the build system builds the font list, this is usually the largest font. I would think that the correct (or at least more int

[Pgui-devel] default font size

2001-04-17 Thread Philippe Ney
Hi Micah, When more then one font size is selected in the server, the big one is defined as the default one. How could I change this? This is a problem for the message box 'cause I don't know how defining the font the contained text will use and it takes the big one by default What is the wa