void zzub_player_history_flush ( zzub_player_t player  ) 

Clears the undo buffer and frees all associated resources.


Generated on Sun Jun 14 16:34:56 2009 for libzzub by  doxygen 1.5.7.1