The hard coded font size is a problem at least for non-macOS platforms; it's waaay too large on Linux. Maybe auto scale depending on the window width?
The hard coded font size is a problem at least for non-macOS platforms; it's waaay too large on Linux.
Maybe auto scale depending on the window width?