Comidilla

Por segunda vez, he estado a tiros con la fuente que AWT (para el JDK de sun) usa por defecto. Pasa que usa un tamaño excesivamente grande y claro, la pregunta es lógica: "¿dónde se cambia ésto?".

Bueno, pues después tenía una ligera idea del problema, pero nuevamente me puse a investigar. El problema es que usa un tamaño en puntos ("point size") de 140 debido a la resolución (puntos por pulgada) de mi monitor. Pues bien, eso me parece muy, muy grande, y no me gustaba.

Manos a la obra y a experimentar con el fichero font.properties. Después de tocarlo un poco, recibo un bonito mensaje del tipo:

Warning: Cannot convert string "-b&h-lucidasans-medium-r-normal--*-140-*-*-p-*-iso8859-1"
to type FontStruct"

Claro, mi respuesta fue: "¿mande?". Hasta que vi el "problema". Parece que (no sé si es sólo mi sistema) el doble guión después de "normal" no le hace mucha gracia. A estos campos de un selector de fuente se les llama "xfld", pues como falta el xfld de familia de fuente (o algo así), XWindow se queja. De acuerdo, meto un asterisco y... ¿qué ocurre? Que las fuentes siguen siendo enormes. Bueno, ahora viene la chapuza: si en lugar de "%d" en el octavo "xfld" (creo) fuerzo a 85, pues la fuente por defecto es buena. No me preguntéis por qué, pero funciona, aunque no sé hasta cuando y no sé si habré roto algo más. ¡Ah! A raíz de ésto he aprendido a usar la orden:

$ xfd -fn "nombre_de_fuente"

que sirve para probar un selector de fuente y, si funciona, para ver qué fuente selecciona.

Espero que la experiencia sirva a alguien. Hasta la próxima .