Subject: RE: hyperrogue: correct font path

From: Steve George <[email-masked]>
Date: Thu, 20 Feb 2025 13:03:25 +0000

Hi Tadhg,

Your patch in #70708 embeds the font in hyperrogue to be font-dejavu [0]. Can you explain why this is necessary please? I'm not familiar with this game, but I just quickly ran it and the font appeared to be fine in the tutorial.

Thanks,

Steve / Futurile

[0] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70708