6135 links
  • GuiGui's Show
  • Home
  • Login
  • RSS Feed
  • ATOM Feed
  • Tag cloud
  • Picture wall
  • Daily
Links per page: 20 50 100
 
  • How to find and change the screen DPI? - Ask Ubuntu
    Pour changer le DPI de son écran quand on utilise gnome/gdm3 :
    - http://pxcalc.com/ pour le calculer

    - Calculer DPI/96 = un nombre

    - gsettings set org.gnome.desktop.interface text-scaling-factor <le_nombre_obtenu_à_l'étape_précédente>. 1,25 pour 120, 1,5 pour 144, ...

    - Vérifier avec « xrdb -query | grep dpi » que le DPI est bien celui calculé à la première étape.

    -  Le changement n'est pas immédiatement visible partout et nécessitera de fermer/reouvrir certaines applications pour être appliqué.

    Je trouve que le résultat n'est pas à la hauteur : on dirait que tout est écrit en gras, les icônes prennent une place énorme, les fonts donnent envie de vomir, ...
    March 13, 2014 at 12:17:13 PM UTC - permalink - http://askubuntu.com/questions/197828/how-to-find-and-change-the-screen-dpi
Links per page: 20 50 100
 
Mentions légales identiques à celles de mon blog | CC BY-SA 3.0

Shaarli - The personal, minimalist, super fast, database-free, bookmarking service by the Shaarli community