Gracias. Sí: he probado con LXDE y XFCE y no me da ningún problema. Llevaba tiempo con Cinnamon y me gustaba, pero bueno, me ha sentado bien probar el cambio así que a lo mejor me quedo en uno de los 2. Gracias por las respuestas!