On 2007-05-13 00:17:46 +0200, Sven Arvidsson wrote: > Is this still a problem with GTK 2.10?
Same problem with 2.10.12-1. > Try installing and setting DejaVu Sans, (package ttf-dejavu), I think > the gtkrc config should be set to one of those, but I'm not sure which > one. > > gtk-font-name="DejaVu Sans 9" The problem disappears if I use that. But it reappears if I use gtk-font-name="DejaVu Sans 10" Similarly, the problem appears with "Bitstream Vera Sans 10", but not with "Bitstream Vera Sans 9". So, this appears to be related to the font size. -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
