GNOME Bugzilla – Bug 71700
need different font/icon sizes for different panel profiles
Last modified: 2015-03-24 13:00:31 UTC
(i know glynn asked me about this before) We need different font/icon sizes for different screen resolutions (or i guess more accuately for different DPIs). Can we find out DPI from the xserver? The Ximain 1.4 sizes look far nicer on my latop and my PC that the G2 sizes http://www242.pair.com/~nilsp/nils/G2-desktop/G2vrsX14.html Since I don't know where the current sizes are specified its kindof hard for me to suggest new ones , sorry
I /think/ this is just a function of the default font in your .gtkrc, but I'm not sure. It would be nice if it auto-detected/resized stuff.
See also 70648 (gtk+ icon size theming) and 74274. This is also a stopper for accessibility.
see also 89063, regarding panel menu icons.
a11y->high?
This is fixed in the latest patch attachment in bugzilla bug #70648 (attachment "08/28/02 06:51"), or see: http://bugzilla.gnome.org/showattachment.cgi?attach_id=10761
There is a new patch that should be used in bugzilla bug #70648. This has a one-line fix to correct a bug. See: http://bugzilla.gnome.org/showattachment.cgi?attach_id=10784
Brian: your patch *allows* the icon size to be changed. This bug is to have different icon sizes and font sizes in the default settings for different screen resolutions.
Is this really a panel bug? I can see that you might want different panel *configurations* for different screen resolutions/sizes, but surely it's the default gtk theme that should adjust itself for different screen resolutions (if we think such a thing is useful), not just the panel?
Dammit - you're right, font and icon size for different resolutions would be handle by gtk+