Ubuntu
gnome-shell package

  1. Bug #1855711
  2. Comment #15

Comment 15 for bug 1855711

Revision history for this message
Sergio Costas (rastersoft-gmail) wrote :

This is fixed in the upstream version; as soon as it's ported to Ubuntu, it will work.