Bonjour,

Un bon génie de la lampe est passé chez moi,

Hé oui, le problème est résolut.

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

Chez moi cela donne :

« Configuration -> Apparence des applications -> Polices -> Forcer le PPP des polices : 96 ».

Ce "96" est à retenir pour la suite de la solution.

Donc, dans le fichier « /etc/X11/xorg.conf », dans « Section "Device" », ajouter à la fin les deux lignes suivantes en les adaptent à votre configuration :
«
    Option "UseEdidDpi" "False"
    Option "DPI" "XX x XX"
»

Chez moi, je passe de :
«
Section "Device"
    Identifier "Device0"
    Driver     "nvidia"
    VendorName "NVIDIA Corporation"
    BoardName  "GeForce GTX 560 Ti"
EndSection
»

Avec mon "96", je passe à :

«
Section "Device"
    Identifier "Device0"
    Driver     "nvidia"
    VendorName "NVIDIA Corporation"
    BoardName  "GeForce GTX 560 Ti"
    Option     "UseEdidDpi" "False"
    Option     "DPI" "96 x 96"
EndSection
»

Un redémarrage de l'ordinateur et le tour est joué !

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.

Je profite de l'occasion pour le remercier d'autant d'effort pour aider son prochain ! Merci Frédéric !

Bravo et encore merci, sans votre aide je ne m'en sortait pas !

L'ami René
P.-S.: Un prochain reconnaissent !

Le 2013-07-26 15:02, Frédéric Côté a écrit :
Je pense que les réponses ont un peu divergé de la question original.
Le problème est que les menus et sous menus dans Arduino-IDE ne
suivent pas les configurations du système (en ce qui attrait à la
taille de la font).

La taille de la font est OK (pas en problème) mais comme l'usagé
utilise une télévision en 1080P et qu'il est plus loin de l'écran qu'à
l’habitude, il aimerait augmenter la taille de la font des menus. Pour
le code dans l'éditeur c'est plutôt simple: Dans le fichier
preferences.txt -> editor.font=Monospaced,plain,24. Mais pour les
menu, c'est un peu plus complexe.

Donc, si je comprends bien, il faut trouver l'option java pour
spécifier la taille de la font pour les menus de l'application.

2013/7/25 Lami René <[email protected] <mailto:[email protected]>>

    Bonjour Mario Gervais,

    S'il est bien question de « Ubundu Tweak », c'est un nouveau
    panneau de configuration système d’Ubuntu après le départ de Gnom,
    mais je suis sous Kubuntu et je ne passerai pas à Ubuntu pour un
    problème de configuration Java, le problème pourrait rester entier.

    Pour le moment personne n'a pu me fournir une commande qui touche
    la taille des caractères, du genre « Java_font_size_config=24 ».
    Et je ne comprends pas pourquoi, je trouve ça suspect. Est-ce que
    le Java est prévu pour les écrans HD 1920x1080 ?

    Une aide pour la Java sous Kubuntu est toujours souhaitée et
    serait grandement appréciée !

    L'ami René

    Le 2013-07-25 18:22, Mario Gervais a écrit :

        C'est sûrement que les dépôts ne sont pas activés dans vos
        sources. Je pense du moins...

        Le 25/07/13, *Lami René * <[email protected]
        <mailto:[email protected]>> a écrit :

            Bonjour Denis Laarsen,

            Je n'ai pas dans les dépôts standard « Ubundu Tweak »,
            mais seulement « Tweak », un éditeur d'hexa pour la
            console qui ne semble pas être écrit en Java ! Alors, je
            ne comprends pas comment cela pourrait m'aider pour mes
            polices de caractère des applications Java trop petites,
            pourriez-vous m'expliquer davantage comme cela pourrait
            corriger mes problèmes avec Arduino et Processing ?

            Merci d'avance !

            L'ami René

            Le 2013-07-25 09:38, Denis Larsen a écrit :
            >Bonjour
            >
            >Et si vous essayiez Ubundu Tweak. Dans son menu il permet
            d'ajuster tous les caractères y compris ceux des icones et
            de tous les affichages du bureau et des aperçus.
            >
            >Espérant le tout...
            >
            >Denis Laarsen
            >
            >
            --
            Ubuntu-quebec mailing list
            [email protected]
            <mailto:[email protected]>
            https://lists.ubuntu.com/mailman/listinfo/ubuntu-quebec

        --
        *Mario Gervais*
        [email protected]
        <mailto:[email protected]>

    --
    Ubuntu-quebec mailing list
    [email protected] <mailto:[email protected]>
    https://lists.ubuntu.com/mailman/listinfo/ubuntu-quebec

--
"In a world without walls, who really needs Windows"
"Nothing is foolproof because fools are so ingenious"


--
Ubuntu-quebec mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-quebec

Répondre à