Estoy tratando de reducir los tamaños de fuente utilizados en Eclipse. He leído varias notas que hablan sobre cómo hacer esto, pero ninguna de ellas ha marcado la diferencia. Obviamente, cambiarlo en las preferencias de Eclipse no lo hace. Las respuestas comunes sobre el uso de "Apariencia->...