Esempio n. 1
0
 protected void localDispose() {
   history_data.removeHistoryListener(this);
 }