Hola.

Hace un tiempo que estoy experimentando un problema.
Actualmente estoy con 5.12 LTS, pero lo he experimentado con 5.10 también.
La configuración del escritorio la vengo arrastrando desde 5.10.

Resulta que el lanzador de aplicaciones y los widgets del panel se muestran con un tamaño el doble del normal.

Os dejo una captura del lanzador ya que cuando abro el widget de la hora (p.e) no puedo hacer la captura, pero el problema es el mismo:


Sabéis que puedo hacer para poner su tamaño original?

¿Hay alguna aplicación de los menús que tenga una descripción muy larga? Podría ser eso lo que expanda el kicker.