Interface HistorySelectionListener


  • public interface HistorySelectionListener
    Interface for classes that listen to selections of history items.
    Version:
    $Revision$
    Author:
    fracpete (fracpete at waikato dot ac dot nz)
    • Method Detail

      • historySelected

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