Hola, yo nunca encontré esa opción, así que tuve que editar un poco el código, te adjunto el archivo con el theme Dark, que tienes que meter en la carpeta C:\Program Files\GIMP 2\share\gimp\2.0\themes\Dark, es solo sustituir un archivo por otro, el cambio es solo para el texto del menú, pero cambia todos los menús, es decir, si ves que es demasiado grande, tendrás que editar el archivo y bajar el tamaño de la fuente.
Descargas el archivo adjunto y lo descomprimes, y el archivo (gtkrc) lo metes en la carpeta que te he dicho.
En el archivo original theme Dark el código es este:
Código:
style "gimp-dark-default-style"
{
# font_name = "Sans 11"
En el código que te subo es así:
Código:
style "gimp-dark-default-style"
{
font_name = "Sans 11"
Es decir, el único cambio es descomentar, quitarle el #, para activar el valor de 11 en el tamaño de la fuente, luego si no te gusta con editar y cambiar el valor es suficiente, para ver los cambios sin tener que reiniciar Gimp, basta con cambiar de un theme a otro en el menú Editar/preferencias/ interfaz/tema.
Si tienes alguna duda, lo comentas, y si lo que quieres es cambiar el tamaño de los iconos, la ruta es Editar/preferencias/ interfaz/tema/tema de iconos/ y en el menú desplegable selecciona la opción "Tamaño de icono personalizado".
Evidentemente esto solo tienes que hacerlo una vez, una cosa, si utilizas otro tema distinto al Dark, no subas el archivo, es mejor que edites el tuyo propio.
Y si alguien sabe hacerlo de otra forma, que lo diga.