Closed marcosfromrio closed 6 months ago
Menus belong to gnome-shell, so you should report it there. But before you do that please also check this isn't caused by your custom theme.