void zzub_player_history_flush ( zzub_player_t player  ) 

Clears the undo buffer and frees all associated resources.

Generated by  doxygen 1.6.2-20100208