Para modificar el escalado DPI de un solo usuario, tan sólo tenemos que editar el archivo ~/.config/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml:
nano ~/.config/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml
Buscar la línea que contiene la configuración de DPI:
<property name="DPI" type="empty"/>
Y modificarla, agregando el valor de DPI que queramos (por defecto es 96):
<property name="DPI" type="int" value="96"/>
Ahora bien, si queréis modificar el escalado DPI por defecto para todos los usuarios, según exista en vuestro sistema, tendréis que modificar alguno de los siguientes archivos:
- /etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml
- /etc/xdg/xdg-xubuntu/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml
Be the first to comment