Ubuntu
gnome-shell package

  1. Bug #1743736
  2. Comment #8

Comment 8 for bug 1743736

Revision history for this message
Dark Dragon (darkdragon-001) wrote :

This bug still exists! Using the plugin circumvents the issue though.
I am on Ubuntu 18.10 btw.