LazyNethack
LazyNethack copied to clipboard
Add option to change the font
soneone on reddit asked for it
It would be interesting to know which fonts users want. But maybe it's enough to provide a setting for the user to select locally installed fonts (defaulting to the font we provide with the screensaver). This way, everyone can have their favourite font if they have it installed.