GenericObjectEditorHistory.HistorySelectionListener (weka-dev 3.9.6 API)

Enclosing class:: GenericObjectEditorHistory

public static interface GenericObjectEditorHistory.HistorySelectionListener

Interface for classes that listen to selections of history items.

Version:: $Revision: 10216 $
Author:: fracpete (fracpete at waikato dot ac dot nz)

Method Summary

Modifier and Type

Method

Description

void

historySelected(GenericObjectEditorHistory.HistorySelectionEvent e)

Gets called when a history item gets selected.

Method Details
- historySelected
  
  void historySelected(GenericObjectEditorHistory.HistorySelectionEvent e)
  
  Gets called when a history item gets selected.
  
  Parameters:
  
  e - the event