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