/* do no reset mouse cursor before all pending events have been processed */
if (gfx.cursor_mode == cursor_mode_last &&
- ((effectiveGameStatus() == GAME_MODE_TITLE &&
+ ((game_status == GAME_MODE_TITLE &&
gfx.cursor_mode == CURSOR_NONE) ||
(game_status == GAME_MODE_PLAYING &&
gfx.cursor_mode == CURSOR_PLAYFIELD)))
}
else
{
- if (effectiveGameStatus() == GAME_MODE_TITLE)
+ if (game_status == GAME_MODE_TITLE)
{
/* when showing title screens, hide mouse pointer (if not moved) */
setup.internal.program_copyright);
}
-int effectiveGameStatus()
-{
- if (game_status == GAME_MODE_INFO && info_mode == INFO_MODE_TITLE)
- return GAME_MODE_TITLE;
-
- return game_status;
-}
-
void DrawTitleScreenImage(int nr, boolean initial)
{
int graphic = getTitleScreenGraphic(nr, initial);
#define SCROLL_PAGE (2 * SCR_FIELDY)
-int effectiveGameStatus();
-
void DrawMainMenuExt(int);
void DrawAndFadeInMainMenu(int);
void DrawMainMenu(void);
void DrawMaskedBorder(int redraw_mask)
{
/* never draw masked screen borders on borderless screens */
- if (effectiveGameStatus() == GAME_MODE_LOADING ||
- effectiveGameStatus() == GAME_MODE_TITLE)
+ if (game_status == GAME_MODE_LOADING ||
+ game_status == GAME_MODE_TITLE)
return;
if (redraw_mask & REDRAW_ALL)