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.
Bonjour Frédéric,
Un grand merci, pour la synthèse qui explique parfaitement le problème !
Merci, merci !!!
L'ami René
2013/7/25 Lami René <l...@webestrie.com <mailto:l...@webestrie.com>>
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é * <l...@webestrie.com
<mailto:l...@webestrie.com>> 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
Ubuntu-quebec@lists.ubuntu.com
<mailto:Ubuntu-quebec@lists.ubuntu.com>
https://lists.ubuntu.com/mailman/listinfo/ubuntu-quebec
--
*Mario Gervais*
mario.gerv...@videotron.qc.ca
<mailto:mario.gerv...@videotron.qc.ca>
--
Ubuntu-quebec mailing list
Ubuntu-quebec@lists.ubuntu.com <mailto:Ubuntu-quebec@lists.ubuntu.com>
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
Ubuntu-quebec@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-quebec
