Preguntas etiquetadas con fonts

8
Cómo cambiar los tamaños de fuente de eclipse

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->...

8
¿Cómo instalar fuentes MS en Ubuntu?

Lo hice sudo apt-get install ttf-mscorefonts-installery parece que es con éxito. Pero, ¿por qué no veo nuevas fuentes? (por ejemplo, ¿cuándo debo seleccionar la fuente en mi perfil para mi terminal)? $ sudo apt-get install ttf-mscorefonts-installer [sudo] password for cheungs: Reading package...

8
Fuente personalizada con dmenu

Encontré referencias en varios lugares ejecutando dmenu así: dmenu_run -b -fn 'Inconsolata 12' Sin embargo, sea cual sea la variación del nombre de fuente que intento, siempre obtengo dmenu: warning: cannot load font <font name> fc-list | grep cons me

8
Funciones OpenType en Libreoffice

¿Es posible usar las características de Opentype como las ligaduras en Libreoffice? Si es así, ¿cómo? Porque hasta donde yo sé, en Ubuntu y Linux en general, estas características están disponibles solo para fuentes de grafito (también conocidas como inteligentes) como Linux Libertine G(una fuente...

8
OpenJDK-8 / Oracle JDK 8 Parches de fuentes para Ubuntu

¿Existe una versión parcheada de OpenJDK-8 u Oracle JDK 8 para Ubuntu 14.10 que corrige las fuentes feas en las aplicaciones Java (productos Jetbrains, Netbeans, etc.)? Anteriormente instalé una versión parcheada de OpenJDK7 para Ubuntu 14.04 en este artículo, pero no parece estar disponible para...