On Fri, Apr 25, 2008 at 06:17:47PM -0700, Russ Allbery wrote:
> I received the following bug report against the Debian packaging of gnubg
> 0.9.0. I haven't personally been able to duplicate it; I expect it
> depends on font configuration and theme.
>
> Eric, could you provide [EMAIL PROTECTED] any other information that you
> think may be related to help them reproduce the problem, such as any
> unusual font size settings in your desktop environment?
I suspect Russ is right: with a high-res monitor and aging eyes, so
I probably use larger fonts than most.
My Gnome appearance prefs are:
DejaVu Sans Mono Book 12 for fixed-width,
DejaVu Sans Bold 14 for window title,
and DejaVu Sans Book 12 for everything else.
--
Eric Cooper e c c @ c m u . e d u
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
