+
+ }
+
+ if(use_gl || menu_change)
+ {
+ /* Draw the title background: */
+
+ texture_draw_bg(&title, NO_UPDATE);
+
+ /* Draw the high score: */
+ sprintf(str, "High score: %d", last_highscore);
+ drawcenteredtext(str, 460, letters_red, NO_UPDATE, 1);
+ }
+
+ /* Don't draw menu, if quit is true */
+ if(show_menu && !quit)
+ quit = drawmenu();
+
+ if(game_started || level_editor_started)
+ done = 1;
+