ui_credits
void show_about_window (void); void show_credits_window (void);
void show_about_window (void);
void show_credits_window (void);