game pausing

2026-10-24 02:12:25 +00:00 · 2023-12-11 23:00:31 +02:00
parent 91fd72db36
commit 79f1abdb96
5 changed files with 111 additions and 62 deletions
@@ -38,3 +38,5 @@ void draw_help(Timer *timer);
 void draw_timer(Timer *timer);
 void draw_win(Cudoku *game);
 void draw_board(Cudoku *game, Size window_size);
+void pause_game(Cudoku *game);
+void draw_pause_overlay();