Cambiar tamaño del panel

Imagen de PPamaterasu
-140 puntos

Hola Ubunteros!

Alguno sabe como cambiar el tamaño del panel de Gnome Shell? tal parece no hay opción, por lo que toca hacerlo desde algún archivo de configuración