DPI alta

Mi nuevo portátil XPS 13 9370 es muy bueno, pero se puede usar con una resolución de pantalla tan grande (3840x2160 331 PPI) que lo tengo que usar con un factor de escala de 2.12. No todas las aplicaciones se escalan adecuadament. Para Gimp, lo pude resolver usando un tema con íconos más grandes, pero algunas aplicaciones X11 antiguas como Xfig, que uso desde mis tiempos con Unix al final de la década de 1980 y que nunca pude substituir por una aplicación similar, no se escalan en absoluto. Esto es un problema porque los menús y las íconos, así como el grosor de las líneas, son tan pequeños que Xfig no se puede usar.