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 :/ I have added code to get the dpi value from Xft when available, that will be in hwloc 2.2. Samuel