/* $Id: pause.h,v 1.7 2002/07/10 06:43:19 oohara Exp $ */

#ifndef __TENMADO_PAUSE_H__
#define __TENMADO_PAUSE_H__

void clear_pause(void);
int do_pause(int pause_key_pressed);
void pause_by_mouse(int gain);

#endif /* not __TENMADO_PAUSE_H__ */
