<html>

  <head>

    <meta content="text/html; charset=windows-1252"

      http-equiv="Content-Type">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    <div class="moz-cite-prefix">Le 01/10/15 20:04, Gérald Niel a

      écrit :<br>

    </div>

    <blockquote

      cite="mid:slrnn0qte5.8uf.gerald.niel+spam@mbp-gniel.gegeweb.org"

      type="cite">

      <pre wrap="">Le Mercredi 30 septembre 2015 à 06:35 UTC, Jean-Luc Duflot écrivait sur

grisbi.user.french :

</pre>

      <blockquote type="cite">

        <pre wrap="">Je n'ai pas de Mac, mais normalement on devrait pouvoir régler  la

taille des polices des différentes zones du bureau ou des fenêtres du

Mac. Même Windows fait ça, alors... Ou alors il faut changer de police

système ?

</pre>

      </blockquote>

      <pre wrap="">

Ce n'est pas si simple.

Le thème GTK est embarqué dans le paquet.

Mais pour ma part pas de soucis.

@+

</pre>

    </blockquote>

    <font size="+1">J'ai contourné le problème en revenant à mon ancien

      système. Yosemite ne m'apportait aucun avantage  :-(<br>

      <br>

      Amitiés :)<br>

      Jean-Luc <br>

    </font>

  </body>

</html>