<html><head></head><body>Merci de ce retour technique.  Il sera précieux pour les plus avancés d'entre nous.<br>
<br>
André Cotte<br><br><div class="gmail_quote"><br>
"Frédéric Côté" <frederick.cote@gmail.com> a écrit :<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div dir="ltr">Pour ceux qui s'intéresse un peu plus aux détails de ce problème, voici les détails de mon processus de débogage:<div><br /></div><div>J'ai commencé par me créer un environnement semblable à l'usagé ayant le problème (Kubuntu 12.04 branché sur une TV en 1080P). Heureusement j'ai rencontré le même problème avec Arduino-IDE (en fait, tous les applications java avait le problème).</div>
<div><br /></div><div>Après quelques recherche sur Google, j'ai réalisé que c'est plus une questions de DPI que de problème avec Java. L'interface Swing dans java ne tient pas vraiment compte du DPI configuré par l'usagé mais plutôt celui du système.</div>
<div><br /></div><div><div style="font-family:arial,sans-serif;font-size:13px">Pour en avoir le coeur net avec le DPI, j'ai donc débuté par vérifier quels sont les paramètres "vu" par mon ordinateur concernant ma TV avec cette commande:</div>
<div style="font-family:arial,sans-serif;font-size:13px"><b>xrandr</b></div><div style="font-family:arial,sans-serif;font-size:13px">Ce programme m'indique 1920*1080 en 60 image par seconde. C'est une bonne réponse.</div>
<div style="font-family:arial,sans-serif;font-size:13px">Il m'indique que m'a TV fait 1600mm*900mm (donc 70 pouces). Oups pas la bonne réponse, j'ai une 40".</div><div style="font-family:arial,sans-serif;font-size:13px">
<br /></div><div style="font-family:arial,sans-serif;font-size:13px">Donc, le système considère que je suis en 1920*1080 sur un écran de 70". Donc, un DPI d'environ 30, 30. Après avoir calculé manuellement mon DPI réel, j'arrive à environ 55, 55. Voici un site pour faire le calcule facilement: <a href="http://pxcalc.com/" target="_blank">http://pxcalc.com</a>.</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br /></div><div style="font-family:arial,sans-serif;font-size:13px">J'ai ensuite vérifier quelle était le DPI utilisé par le système avec cette commande:</div><div style="font-family:arial,sans-serif;font-size:13px">
<b>xdpyinfo | grep dots</b></div><div style="font-family:arial,sans-serif;font-size:13px">J'ai eu la confirmation de l'erreur mentionné plus haut car le output était:</div><div style="font-family:arial,sans-serif;font-size:13px">
 <b> resolution: 30x30 dots per inch</b></div>Malgré le fait que j'ai forcé les font à 96DPI.<div style="font-family:arial,sans-serif;font-size:13px"><b><br /></b></div><div style="font-family:arial,sans-serif;font-size:13px">
J'ai ensuite vérifié qu'est-ce qui configurait cette valeur via les logs de Xorg avec cette commande:</div><div style="font-family:arial,sans-serif;font-size:13px"><b>cat /var/log/Xorg.0.log | grep DPI</b><br /></div>
<div style="font-family:arial,sans-serif;font-size:13px">La réponse fut très précise dans mon cas :</div><div style="font-family:arial,sans-serif;font-size:13px"><div><b>[    18.702] (**) NVIDIA(0): Option "DPI" "30 x 30"</b></div>
<div><b>[    20.256] (**) NVIDIA(0): DPI set to (30, 30); computed from "DPI" X config option</b></div></div><div style="font-family:arial,sans-serif;font-size:13px"><br /></div><div style="font-family:arial,sans-serif;font-size:13px">
Donc, la solution: il faut trouvé l'endroit ou la façon de configurer le bon DPI pour que la commande "xdpyinfo | grep dots" nous retourne la bonne valeur. Dans mon cas, j'ai une nVidia, donc j'ai modifié le fichier /etc/X11/xorg.conf tel que mentionné sur ce site:</div>
<div style="font-family:arial,sans-serif;font-size:13px"><a href="https://wiki.archlinux.org/index.php/Xorg#Setting_DPI_manually" target="_blank">https://wiki.archlinux.org/index.php/Xorg#Setting_DPI_manually</a><br /></div>
<div style="font-family:arial,sans-serif;font-size:13px">Mon fichier est devenu:</div><div style="font-family:arial,sans-serif;font-size:13px"><div><b>Section "Device"</b></div><div><b>        Identifier      "Default Device"</b></div>
<div><b>        Option  "NoLogo"        "True"</b></div><div><b>        <i>Option  "UseEdidDpi" "False"</i></b></div><div><b><i>        Option  "DPI" "55 x 55"</i></b></div>
<div><b>EndSection</b></div></div><div style="font-family:arial,sans-serif;font-size:13px"><br /></div><div style="font-family:arial,sans-serif;font-size:13px">Après un redémarrage, tout était beaucoup mieux et la commande "xdpyinfo | grep dots" me donnait un DPI de 55, 55. J'ai ensuite remis les valeur par défaut dans "system settings" (car j'avais modifié le DPI des "Font"). Malgré le fait que c'était mieux, je trouvais les caractères encore petit. J'ai donc encore modifié mon fichier xorg.conf avec un DPI de 96, 96 et tout est maintenant parfait.</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br /></div><div style="font-family:arial,sans-serif;font-size:13px">En conclusion: Maintenant il y a beaucoup de moniteur avec des DPI élevé (il n'est pas rare de voir du 150DPI) donc, les systèmes d'opérations comme Linux sont de mieux en mieux à détecter les paramètres des périphériques pour pouvoir mieux s'ajuster et en tirer profit. La plupart du temps,ça fonctionne bien mais lorsqu'il y a une erreur dans la détection, ça mêle un peu les cartes et on se retrouve avec ce genre de situation. Donc, pour une fois, ce n'est pas la faute à Java :P</div>
</div><div style="font-family:arial,sans-serif;font-size:13px"><br /></div><div style="font-family:arial,sans-serif;font-size:13px">Bonne journée à tous,</div><div style="font-family:arial,sans-serif;font-size:13px">Frédéric</div>
</div><div class="gmail_extra"><br /><br /><div class="gmail_quote">2013/7/28 Lami René <span dir="ltr"><<a href="mailto:lami@webestrie.com" target="_blank">lami@webestrie.com</a>></span><br /><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Bonjour,<br />
<br />
Un bon génie de la lampe est passé chez moi,<br />
<br />
Hé oui, le problème est résolut.<br />
<br />
Pour corriger un problème de police de caractère trop petit dans l'écran d'accueil (écran du Login) et dans les applications écrite en langage Java, il faut modifier le fichier « /etc/X11/xorg.conf » pour qu'il reflète les mêmes valeurs que ce qui est configuré dans le panneau de configuration « Configuration -> Apparence des applications -> Polices -> Forcer le PPP des polices : XX ».<br />

<br />
Chez moi cela donne :<br />
<br />
« Configuration -> Apparence des applications -> Polices -> Forcer le PPP des polices : 96 ».<br />
<br />
Ce "96" est à retenir pour la suite de la solution.<br />
<br />
Donc, dans le fichier « /etc/X11/xorg.conf », dans « Section "Device" », ajouter à la fin les deux lignes suivantes en les adaptent à votre configuration :<br />
«<br />
    Option "UseEdidDpi" "False"<br />
    Option "DPI" "XX x XX"<br />
»<br />
<br />
Chez moi, je passe de :<br />
«<br />
Section "Device"<br />
    Identifier "Device0"<br />
    Driver     "nvidia"<br />
    VendorName "NVIDIA Corporation"<br />
    BoardName  "GeForce GTX 560 Ti"<br />
EndSection<br />
»<br />
<br />
Avec mon "96", je passe à :<br />
<br />
«<br />
Section "Device"<br />
    Identifier "Device0"<br />
    Driver     "nvidia"<br />
    VendorName "NVIDIA Corporation"<br />
    BoardName  "GeForce GTX 560 Ti"<br />
    Option     "UseEdidDpi" "False"<br />
    Option     "DPI" "96 x 96"<br />
EndSection<br />
»<br />
<br />
Un redémarrage de l'ordinateur et le tour est joué !<br />
<br />
Tout le mérite de cette solution revient à M. Frédéric Côté, qui à laborieusement et méthodiquement suivi la piste du problème pour finalement le résoudre.<br />
<br />
Je profite de l'occasion pour le remercier d'autant d'effort pour aider son prochain ! Merci Frédéric !<br />
<br />
Bravo et encore merci, sans votre aide je ne m'en sortait pas !<br />
<br />
L'ami René<br />
P.-S.: Un prochain reconnaissent !<br />
<br />
Le 2013-07-26 15:02, Frédéric Côté a écrit :<br />
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Je pense que les réponses ont un peu divergé de la question original.<br />
Le problème est que les menus et sous menus dans Arduino-IDE ne<br />
suivent pas les configurations du système (en ce qui attrait à la<br />
taille de la font).<br />
<br />
La taille de la font est OK (pas en problème) mais comme l'usagé<br />
utilise une télévision en 1080P et qu'il est plus loin de l'écran qu'à<br />
l’habitude, il aimerait augmenter la taille de la font des menus. Pour<br />
le code dans l'éditeur c'est plutôt simple: Dans le fichier<br />
preferences.txt -> editor.font=Monospaced,plain,<u></u>24. Mais pour les<br />
menu, c'est un peu plus complexe.<br />
<br />
Donc, si je comprends bien, il faut trouver l'option java pour<br />
spécifier la taille de la font pour les menus de l'application.<br />
</blockquote>
<br />
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
2013/7/25 Lami René <<a href="mailto:lami@webestrie.com" target="_blank">lami@webestrie.com</a> <mailto:<a href="mailto:lami@webestrie.com" target="_blank">lami@webestrie.com</a>>><br />
<br />
    Bonjour Mario Gervais,<br />
<br />
    S'il est bien question de « Ubundu Tweak », c'est un nouveau<br />
    panneau de configuration système d’Ubuntu après le départ de Gnom,<br />
    mais je suis sous Kubuntu et je ne passerai pas à Ubuntu pour un<br />
    problème de configuration Java, le problème pourrait rester entier.<br />
<br />
    Pour le moment personne n'a pu me fournir une commande qui touche<br />
    la taille des caractères, du genre « Java_font_size_config=24 ».<br />
    Et je ne comprends pas pourquoi, je trouve ça suspect. Est-ce que<br />
    le Java est prévu pour les écrans HD 1920x1080 ?<br />
<br />
    Une aide pour la Java sous Kubuntu est toujours souhaitée et<br />
    serait grandement appréciée !<br />
<br />
    L'ami René<br />
<br />
    Le 2013-07-25 18:22, Mario Gervais a écrit :<br />
<br />
        C'est sûrement que les dépôts ne sont pas activés dans vos<br />
        sources. Je pense du moins...<br />
<br />
        Le 25/07/13, *Lami René * <<a href="mailto:lami@webestrie.com" target="_blank">lami@webestrie.com</a><br />
        <mailto:<a href="mailto:lami@webestrie.com" target="_blank">lami@webestrie.com</a>>> a écrit :<br />
<br />
            Bonjour Denis Laarsen,<br />
<br />
            Je n'ai pas dans les dépôts standard « Ubundu Tweak »,<br />
            mais seulement « Tweak », un éditeur d'hexa pour la<br />
            console qui ne semble pas être écrit en Java ! Alors, je<br />
            ne comprends pas comment cela pourrait m'aider pour mes<br />
            polices de caractère des applications Java trop petites,<br />
            pourriez-vous m'expliquer davantage comme cela pourrait<br />
            corriger mes problèmes avec Arduino et Processing ?<br />
<br />
            Merci d'avance !<br />
<br />
            L'ami René<br />
<br />
            Le 2013-07-25 09:38, Denis Larsen a écrit :<br />
            >Bonjour<br />
            ><br />
            >Et si vous essayiez Ubundu Tweak. Dans son menu il permet<br />
            d'ajuster tous les caractères y compris ceux des icones et<br />
            de tous les affichages du bureau et des aperçus.<br />
            ><br />
            >Espérant le tout...<br />
            ><br />
            >Denis Laarsen<br />
            ><br />
            ><br />
            --<br />
            Ubuntu-quebec mailing list<br />
            <a href="mailto:Ubuntu-quebec@lists.ubuntu.com" target="_blank">Ubuntu-quebec@lists.ubuntu.com</a><br />
            <mailto:<a href="mailto:Ubuntu-quebec@lists.ubuntu.com" target="_blank">Ubuntu-quebec@lists.<u></u>ubuntu.com</a>><br />
            <a href="https://lists.ubuntu.com/mailman/listinfo/ubuntu-quebec" target="_blank">https://lists.ubuntu.com/<u></u>mailman/listinfo/ubuntu-quebec</a><br />
<br />
        --<br />
        *Mario Gervais*<br />
        <a href="mailto:mario.gervais@videotron.qc.ca" target="_blank">mario.gervais@videotron.qc.ca</a><br />
        <mailto:<a href="mailto:mario.gervais@videotron.qc.ca" target="_blank">mario.gervais@<u></u>videotron.qc.ca</a>><br />
<br />
    --<br />
    Ubuntu-quebec mailing list<br />
    <a href="mailto:Ubuntu-quebec@lists.ubuntu.com" target="_blank">Ubuntu-quebec@lists.ubuntu.com</a> <mailto:<a href="mailto:Ubuntu-quebec@lists.ubuntu.com" target="_blank">Ubuntu-quebec@lists.<u></u>ubuntu.com</a>><br />

    <a href="https://lists.ubuntu.com/mailman/listinfo/ubuntu-quebec" target="_blank">https://lists.ubuntu.com/<u></u>mailman/listinfo/ubuntu-quebec</a><span class="HOEnZb"><font color="#888888"><br />
<br />
--<br />
"In a world without walls, who really needs Windows"<br />
"Nothing is foolproof because fools are so ingenious"<br />
<br />
</font></span></blockquote><span class="HOEnZb"><font color="#888888">
<br />
-- <br />
Ubuntu-quebec mailing list<br />
<a href="mailto:Ubuntu-quebec@lists.ubuntu.com" target="_blank">Ubuntu-quebec@lists.ubuntu.com</a><br />
<a href="https://lists.ubuntu.com/mailman/listinfo/ubuntu-quebec" target="_blank">https://lists.ubuntu.com/<u></u>mailman/listinfo/ubuntu-quebec</a><br />
</font></span></blockquote></div><br /><br clear="all" /><div><br /></div>-- <br /><font>"In a world without walls, who really needs Windows"<br /></font><font><span style="font-family:arial,helvetica,sans-serif">"</span></font><font>Nothing is foolproof because fools are so ingenious</font><font><span style="font-family:arial,helvetica,sans-serif">"</span></font><br />

</div>
<p style="margin-top: 2.5em; margin-bottom: 1em; border-bottom: 1px solid #000"></p><pre class="k9mail">-- <br />Ubuntu-quebec mailing list<br />Ubuntu-quebec@lists.ubuntu.com<br /><a href="https://lists.ubuntu.com/mailman/listinfo/ubuntu-quebec">https://lists.ubuntu.com/mailman/listinfo/ubuntu-quebec</a><br /></pre></blockquote></div><br>
-- <br>
Envoyé de mon téléphone Android avec K-9 Mail. Excusez la brièveté.</body></html>