接口 HistoryChangedListener
- 所有超级接口:
EventListener
- 所有已知实现类:
SqlViewer
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
This method gets called when a history is modified.
-