Kate a écrit 3 commentaires

  • [^] # Re: Mise à jour de KDE ?

    Posté par  . En réponse au message Problème de polices suite à une mise à jour. Évalué à 1.

    On peut changer l'échelle ici-même : Outils > Options > OpenOffice.org > Affichage > Echelle. Cela semble résoudre mon problème.

    Encore merci tipote !
  • [^] # Re: Mise à jour de KDE ?

    Posté par  . En réponse au message Problème de polices suite à une mise à jour. Évalué à 1.

    SUPER ! Merci beaucoup. La police des logiciels Firefox, Gimp, Bluefish, etc est redevenue normale ! :D
    Ca fait du bien de voir du texte lisible. :p

    Par contre, je ne sais pas si tu utilises OpenOffice, mais j'ai aussi eu un problème de polices suite à la mise à jour. Les polices (du texte de la barre des tâches) est devenue deux fois plus grosse. Je n'ai pas trouvé où changer ces paramètres...

    Peut-être aurais-tu une idée ?

    Encore merci.
    @+
  • [^] # Re: GTK

    Posté par  . En réponse au message Problème de polices suite à une mise à jour. Évalué à 1.

    Bonjour,

    tout d'abord, merci pour la réponse.

    Par contre, mes connaissances en Linux Debian sont vraiment minimales et sont principalement des connaissances au niveau utilisation.

    Qu'est qu'un GTK ? Comment accéder à sa configuration ?

    Merci d'avance.