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 164341 - minimal panel size available in preferences dialog is 12 - but panel doesn't scale to this height
minimal panel size available in preferences dialog is 12 - but panel doesn't ...
Status: RESOLVED FIXED
Product: gnome-panel
Classification: Other
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: Panel Maintainers
Panel Maintainers
Depends on:
Blocks:
 
 
Reported: 2005-01-17 11:42 UTC by Marcin Antczak
Modified: 2015-03-24 13:00 UTC
See Also:
GNOME target: ---
GNOME version: 2.9/2.10


Description Marcin Antczak 2005-01-17 11:42:52 UTC 
On my desktop with Tahoma 8 panel allows to resize only to 20 - I can set height
to 12 on preferences dialog but it doesn't make any effect on panel.

Just create _empty_ panel and try to scale this down below 20.

And one thing more - when I put panel-menubar (I'm not sure it's name - just
menu with Applications, Places, Desktop entries) then it scales panel up to 24...
Comment 1 Vincent Untz 2005-01-17 11:49:50 UTC 
It's not high priority. I'll try to look at it before 2.10.
Comment 2 Vincent Noel 2005-01-25 19:07:08 UTC 
This is not an easy problem when applets are present, see bug #96343.

However, it looks like even an empty panel cannot resize smaller than 20 pixels,
which should be fixable.
Comment 3 Vincent Untz 2005-02-01 12:18:11 UTC 
In panel-toplevel.c, we calculate the minimum height of the panel thanks to
pango. This should be used in the properties.
Comment 4 Vincent Untz 2005-02-01 20:38:54 UTC 
Fixed in HEAD. Now, you can't set a size lower than what the panel accepts.