接口 HistoryChangedListener

所有超级接口:
EventListener
所有已知实现类:
SqlViewer

public interface HistoryChangedListener extends EventListener
A listener for changes in a history.
版本:
$Revision: 1.1 $
作者:
FracPete (fracpete at waikato dot ac dot nz)
  • 方法概要

    修饰符和类型
    方法
    说明
    void
    This method gets called when a history is modified.
  • 方法详细资料

    • historyChanged

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