Interface HistoryChangedListener

  • All Superinterfaces:
    java.util.EventListener
    All Known Implementing Classes:
    SqlViewer

    public interface HistoryChangedListener
    extends java.util.EventListener
    A listener for changes in a history.
    Version:
    $Revision: 1.1 $
    Author:
    FracPete (fracpete at waikato dot ac dot nz)
    • Method Detail

      • historyChanged

        void historyChanged​(HistoryChangedEvent evt)
        This method gets called when a history is modified.