44
49
UI_BUTTON_MON, UI_BUTTON_DEBUG, UI_BUTTON_CONTENTS, UI_BUTTON_AUTOSTART
50
55
/* ID of the corresponding menu item. */
56
62
UINT item_id; /* The last item_id has to be zero. */
65
74
extern HWND ui_active_window;
67
76
/* ------------------------------------------------------------------------- */
69
80
extern void ui_exit(void);
70
81
extern void ui_display_speed(float percent, float framerate, int warp_flag);
71
82
extern void ui_display_paused(int flag);