Ubuntu
gnome-shell package

  1. Bug #1964996
  2. Comment #1

Comment 1 for bug 1964996

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

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").