I can't seem to reproduce the problem here, but if confirmed it should be assigned to gnome-shell too (because this is ST "shell toolkit").
I can't seem to reproduce the problem here, but if confirmed it should be assigned to gnome-shell too (because this is ST "shell toolkit").