Bonjour Tho,
Et merci de poursuivre votre aide !
C'est la première chose que j'ai vérifiée et j'en ai fait le tour sans
succès. Il y a une curiosité, dans « Configuration -> Apparence des
applications -> Styles et Polices GTK+ -> Polices GTK+ -> Utiliser une
autre police », le changement du style de la police de caractère à un
effet sur mes menus de l'IDE d'Arduino, mais le changement de taille des
caractères n'en a aucun, il reste minuscule (aucun changement de
taille), même si je sélection une taille comme 72 ou 128 !?!
Bizarre bizarre ! Vous n'auriez pas une explication et est-ce cela
serait une piste à suivre ?
L'ami René
Le 2013-07-24 10:03, Tho Nguyen a écrit :
Bonjour René
"Cela concerne uniquement la taille des caractères des menus et leur
contenu" => A mon avis, on est sur la mauvaise piste, il faut aller
voir dans la configuration de lissage de KDE.
Configuration du système - Apparence des applications - Polices -
Utiliser le lissage - Activé
puis il faut redémarrer le X-window.
Tho
2013/7/24 Lami René <l...@webestrie.com <mailto:l...@webestrie.com>>
Rebonjour,
En complément, l'état du Java est :
----------------------------------------------
~$ env | grep JAVA
_JAVA_OPTIONS=-Dawt.useSystemAAFontSettings=lcd
-Dsun.java2d.xrender=true
JAVA_FONTS=/usr/share/fonts/truetype
----------------------------------------------
----------------------------------------------
~$ sudo update-java-alternatives -l
java-1.6.0-openjdk-amd64 1061 /usr/lib/jvm/java-1.6.0-openjdk-amd64
java-1.7.0-openjdk-amd64 1051 /usr/lib/jvm/java-1.7.0-openjdk-amd64
----------------------------------------------
----------------------------------------------
~$ sudo update-alternatives --config java
Il existe 2 choix pour l'alternative java (qui fournit /usr/bin/java).
Sélection Chemin Priorité État
0 /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/java
1061 mode automatique
1 /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/java
1061 mode manuel
* 2 /usr/lib/jvm/java-7-openjdk-amd64/jre/bin/java
1051 mode manuel
----------------------------------------------
----------------------------------------------
~$ java -version
Picked up _JAVA_OPTIONS: -Dawt.useSystemAAFontSettings=lcd
-Dsun.java2d.xrender=true
java version "1.7.0_25"
OpenJDK Runtime Environment (IcedTea 2.3.10)
(7u25-2.3.10-1ubuntu0.12.04.2ppa2)
OpenJDK 64-Bit Server VM (build 23.7-b01, mixed mode)
----------------------------------------------
L'ami René
--
Ubuntu-quebec mailing list
Ubuntu-quebec@lists.ubuntu.com <mailto:Ubuntu-quebec@lists.ubuntu.com>
https://lists.ubuntu.com/mailman/listinfo/ubuntu-quebec
--
Ubuntu-quebec mailing list
Ubuntu-quebec@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-quebec