RE: How to get rid of jaggy fonts?

[Felciano, Ramon]

Thanks -- the \screen_font_scalable and \screen_dpi settings solved both
problems quickly!

Ramon