added option "Save in the history of changes" on removing terms.
Authored by: glossword_team 2008-06-15
Parent: [r499]
Child: [r501]