void zzub_player_history_flush ( zzub_player_t player  ) 

Clears the undo buffer and frees all associated resources.


Generated on Thu Mar 5 17:10:36 2009 for libzzub by  doxygen 1.5.8