Ubuntu
mutter package

  1. Bug #1718238
  2. Comment #25

Comment 25 for bug 1718238

Revision history for this message
Egmont Koblinger (egmont-gmail) wrote :

Silly me, instead of asking questions I should have tried it myself.

Whereas the previous fix definitely fixed it (at least for me) on 17.10, it's indeed broken (again, in a somewhat different way: it's smaller now, 48x48) for me too on 18.04.

I'll try to take yet another look.