GNOME Bugzilla – Bug 745668
Places menu, app menu: short separators
Last modified: 2021-07-05 14:14:02 UTC
Created attachment 298622 [details] screenshot In classic mode, the separators in the places menu look markedly different from the ones in the system menu. (tested with gnome-shell 3.15.91, gnome-shell-extensions 3.15.90)
(In reply to Matthias Clasen from comment #0) > In classic mode, the separators in the places menu look markedly different > from the ones in the system menu. As far as I can see, this isn't specific to classic mode (most app menus look like that), and they are not actually different - they just happen to be in menus that are significantly narrower than the system menu ...
in any case, they look wrong to me...
and no, I don't want them just to be removed (which I know the designers are going to suggest)
Well, there are basically two options: - decrease the separator margin, so the visible part gets wider - increase the minimum menu width
You could try to be smart with something like: Use the wide margin, but don't let the separator get shorter than half the menu width. But maybe thats too much effort.
GNOME is going to shut down bugzilla.gnome.org in favor of gitlab.gnome.org. As part of that, we are mass-closing older open tickets in bugzilla.gnome.org which have not seen updates for a longer time (resources are unfortunately quite limited so not every ticket can get handled). If you can still reproduce the situation described in this ticket in a recent and supported software version, then please follow https://wiki.gnome.org/GettingInTouch/BugReportingGuidelines and create a new ticket at https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/ Thank you for your understanding and your help.