Hello, 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. Samuel
