Le 2013-07-29 00:30, Frédéric Côté a écrit :
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:
[…]
Bravo pour ce bel exemple d'analyse méthodique, voire scientifique, du
problème !
J.C.
--
Jean Christophe ANDRÉ —
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:
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
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
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
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
