GNOME Bugzilla – Bug 654027
Change the Panel Size Minimum's behavior
Last modified: 2020-11-06 20:23:20 UTC
Created attachment 191330 [details] [review] Changes the default's panel minimum to 15px On Gnome 3 on Fallback mode, the current minimum for the gnome-panel is set to 29px on my laptop. Back on Gnome 2.x it used to be set to 24px (And could go lower IIRC). Since Widescreen monitors are normal among laptop users, we could really use the extra pixels. I'm attaching a patch I made for the Fedora Gnome Panels RPM to set the minimum to 15px. I know this isn't a clean implementation, or even the preferred way of attaching a patch, but I wanted to get some discussion going to see the best way to change this. As a side note, the menu-bar on 3.x changes the panel size back to 29px once added, so I know I'm missing something somewhere.
Not a clean patch (commented code), plus /* is prefered to //.
I would like to add my voice to support this change. There is no valid reason to require the minimum panel height to be so larger than 15 pixels. In General the gnome designers make things way too big, and a 29pixel panel is just an unacceptable waste of space. If the submitted patch isn't "clean", why not just take the 5 minutes necessary to clean it up, rather than reject it?
Daniel: The patch I wrote is bad because the minimum height is calculated now, based on the 'smallest' available applet. Since the new Gnome Menu applet is now set at 29px, the patch should be submitted to the gnome menu applet, I think. Either way, I sorta lost interest in hacking Gnome altogether and have moved onto saner grounds.
Comment on attachment 191330 [details] [review] Changes the default's panel minimum to 15px Indeed, this patch is not the right way to do things. The minimum height is computed automatically, so it's likely more something related to the theme and font size than anything else.
bugzilla.gnome.org is being replaced by gitlab.gnome.org. We are closing all old bug reports in Bugzilla which have not seen updates for many years. If you can still reproduce this issue in a currently supported version of GNOME (currently that would be 3.38), then please feel free to report it at https://gitlab.gnome.org/GNOME/gnome-panel/-/issues/ Thank you for reporting this issue and we are sorry it could not be fixed.