void Disk_gump_button::activate
void Yesno_gump_button::activate
void Disk_gump_button::activate	(	Game_window *gwin	)	{	extern int Modal_gump(Modal_gump_object *, Mouse::Mouse_shapes);	File_gump_object *fileio = new File_gump_object();	Modal_gump(fileio, Mouse::hand);	delete fileio;	}