>>>>> "David" == David Kastrup <[EMAIL PROTECTED]> writes:
David> Just for a try, I replaced "times" in the font selection scheme David> with "fixed". I now get a display with an array of wildly David> inconsistent font sizes. Do you have 'use scalable fonts' unchecked? This is better if you want to have nice unscaled bitmap fonts for times. JMarc
