Ubuntu
gnome-shell package

  1. Bug #1725545
  2. Comment #3

Comment 3 for bug 1725545

Revision history for this message
Didier Roche-Tolomelli (didrocks) wrote :

Thanks for reporting this bug and the fix, do you mind proposing this fix upstream as well, on the upstream bugzilla, against gnome-shell.css in the gnome-shell component? I think that can benefit everyone as it's not ubuntu specific (I'm still happy to include it in a future SRU) :)