Panel mas alto en GnomeShell. Ajustes varios en MATE