GNOME Bugzilla – Bug 471660
Use GtkScale to set the size of the panel
Last modified: 2020-11-06 20:20:15 UTC
See summary. At least, I'd need to play with the idea to see if it works well, but it's good to not have to show pixel size to the user.
Created attachment 142587 [details] [review] Replaces GtkSpin with GtkScale in Panel Properties dialog Something like this?
Created attachment 142588 [details] Screenshot of GtkScale instead of GtkSpin in Panel Properties dialog
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.