Ubuntu
gnome-shell package

  1. Bug #968213
  2. Comment #72

Comment 72 for bug 968213

Revision history for this message
In , Daniel Mustieles (daniel-mustieles) wrote :

Changed version to 3.7.x.

It would be great someone could review the patches sent and commit/approve them. The fix should not depend on screen size/resolution... maybe having a higer padding between elements or showing the tile hovering the mouse would be enough.