Aupa, sabe alguien como se puede cambiar el tamaño de las fuentes de los menus en galeon y anjuta, he llegado a instalar gnome, a ver si me cambiaban al configurar los tamaños de letra, pero en el galeon y en el anjuta no cambian, pues eso, si alguien me puede echar una mano, eternamente agradecido, un saludo victor