Yes, gnome-shell should still be smart enough to put the right and down arrows in alignment. Please log a bug: https://gitlab.gnome.org/GNOME/gnome-shell/issues
Although upstream the GNOME developers might argue that the bug is hidden without extensions, and therefore may choose to not fix it.
Yes, gnome-shell should still be smart enough to put the right and down arrows in alignment. Please log a bug: https:/ /gitlab. gnome.org/ GNOME/gnome- shell/issues
Although upstream the GNOME developers might argue that the bug is hidden without extensions, and therefore may choose to not fix it.