• # Tips

    Posté par . En réponse au journal Histoire d'une migration. Évalué à 4.

    Salut, pour le problème des polices gnome/kde, moi je fais
    comme ca et ca marche très bien :)

    1. Editez /etc/X11/XF86Config

    Section "Monitor"
    DisplaySize 330 210
    ...
    EndSection

    ou les valeurs = largueur/hauteur de votre écran en mm.

    2. Lancez mozilla

    Edit/Preferences/Appearance/Fonts

    Selectionnez Display Resolution "other"
    Ca vous donne le DPI
    Revenez en configuration System Setting

    Les dpi courant sont 96, 100, 125 ( 150 pour moi ), donc si ca tombe pas exactement arrondissez [ a moins d'etre sur de votre dpi, voir les spec de votre écran ]

    3. Ensuite direction gnome-font-properties

    Dans détails, mettez votre DPI. Selectionnez les memes tailles de polices que dans KControl ( Look / Fontes ).

    4. Ensuite créez un lien
    ln -s /opt/gnome/bin/gnome-settings-daemon ~/.kde/Autostart/gnome-settings-daemon

    Nb1: which gnome-settings-daemon pour savoir ou il se trouve

    Nb2: il est aussi possible de le rajouter dans ~/.xinitrc

    Nb3: il y a peu etre une autre solution mais c'est celle que j'ai trouvé pour que gnome mette à jour la configuration des themes gtk.

    Et hop, maitenant les fontes sont identiques dans kde et gnome sans déconner quand je passe par le centre de configuration gnome.