Module jEdit
Package org.gjt.sp.jedit.help

Interface HelpHistoryModelListener

All Known Implementing Classes:
HelpViewer
public interface HelpHistoryModelListener
Listener interface to montior changes to a HelpHistoryModel
Version:
$Id: HelpHistoryModelListener.java 25300 2020-05-01 08:16:32Z kpouer $
Author:
Nicholas O'Leary

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    historyUpdated()
     

  • Method Details

    • historyUpdated

      void historyUpdated()