On 2021-01-10 13:31:36 +0100, Tormod Volden wrote: > In that case it seems better to only Recommends: gsfonts-x11 . It > seems that xfonts-100dpi will only be useful in few cases, and I don't > see in what case it would be better than gsfonts-x11. > > If we use Recommends: gsfonts-x11 | xfonts-100dpi I /think/ the first > will be installed if none are already,
Yes, this seems to be OK. > but if the user already has the second nothing will be installed and > it will look bad at higher screen resolutions. Does that sound > correct? Well, xfonts-100dpi fonts will not necessarily look bad. This depends on the physical font size (thus partly on the dpi configuration of the X server, if I understand correctly). I've done some tests with "xfontsel -pattern ...", and indeed, if the fonts are large, then with gsfonts-x11, they look always nice, while with xfonts-100dpi, they are very pixelized. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
