From ed748c4fe7c8c87c96b95fbce6d8734cde64a4a1 Mon Sep 17 00:00:00 2001
From: Lephenixnoir <sebastien.michelland@protonmail.com>
Date: Sat, 25 Jun 2022 18:26:14 +0100
Subject: [PATCH] use game font for level names in the main menu

---
 src/menu.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/menu.c b/src/menu.c
index e26e474..b8fd8d4 100644
--- a/src/menu.c
+++ b/src/menu.c
@@ -99,6 +99,9 @@ int menu_level_select(int start)
         int NAME_Y = cubic(DHEIGHT-24, DHEIGHT+10, transition_time,
             TRANSITION_LEN);
 
+        extern font_t font_rogue;
+        font_t const *old_font = dfont(&font_rogue);
+
         dclear(C_BLACK);
 
         for(int i = 0; i < OPTION_COUNT; i++) {
@@ -124,6 +127,7 @@ int menu_level_select(int start)
             dsubimage(ARROW2_X, 93, &img_menu_arrows, 35, 0, 35, 42,
                 DIMAGE_NONE);
 
+        dfont(old_font);
         dupdate();
 
         for(int i = 0; i < OPTION_COUNT; i++)