On Saturday, 26 January 2019 at 09:33:33 UTC, John Chapman wrote: > What has that code got to do with setting the console's font? > So you need to add more code to accomplish that. You don't need to set the font to achieve the goal, why not?