On 2020-01-02 13:28:59 +0100, Samuel Thibault wrote: > Samuel Thibault, le jeu. 02 janv. 2020 01:55:15 +0100, a ecrit: > > Vincent Lefevre, le jeu. 02 janv. 2020 01:48:43 +0100, a ecrit: > > > It is possible to change the font size with --fontsize, but this > > > does not work well as the space between the elements is not large > > > enough. > > > > You can use --gridsize to fix that part. > > > > But yes, ideally lstopo would automatically use the dpi of the display, > > to scale the font & grid sizes. > > Actually there was already support for this, but it only took the dpi > value from the Xserver, which is most often hardwired to 96 :/
Indeed, that's the case with the nouveau driver. :( The dpi value was fine with the non-free Nvidia driver (but this driver has other issues). > I have added code to get the dpi value from Xft when available, that > will be in hwloc 2.2. Aligning the default font size with the Xft.dpi value may even be better as this would honor the user preferences for the font size. -- 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)
