After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 71700 - need different font/icon sizes for different panel profiles
need different font/icon sizes for different panel profiles
Status: RESOLVED NOTABUG
Product: gnome-panel
Classification: Other
Component: panel
1.5.x
Other All
: High enhancement
: ---
Assigned To: Panel Maintainers
Panel Maintainers
Depends on:
Blocks:
 
 
Reported: 2002-02-16 19:12 UTC by Nils Pedersen
Modified: 2015-03-24 13:00 UTC
See Also:
GNOME target: ---
GNOME version: Unversioned Enhancement


Description Nils Pedersen 2002-02-16 19:12:42 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
Comment 1 Luis Villa 2002-03-06 16:34:18 UTC 
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.
Comment 2 bill.haneman 2002-05-30 07:04:57 UTC 
See also 70648 (gtk+ icon size theming) and 74274.  This is also a
stopper for accessibility.
Comment 3 bill.haneman 2002-07-25 16:42:28 UTC 
see also 89063, regarding panel menu icons.
Comment 4 Luis Villa 2002-08-07 17:50:29 UTC 
a11y->high?
Comment 5 Brian Cameron 2002-08-28 10:54:11 UTC 
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
Comment 6 Brian Cameron 2002-08-29 10:33:10 UTC 
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
Comment 7 Mark McLoughlin 2002-09-10 08:11:21 UTC 
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.
Comment 8 Calum Benson 2002-09-20 11:44:48 UTC 
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?
Comment 9 Mark McLoughlin 2002-09-23 04:11:17 UTC 
Dammit - you're right, font and icon size for different resolutions
would be handle by gtk+