Package org.gjt.sp.jedit.gui

Interface HistoryModelSaver

  • All Known Implementing Classes:
    JEditHistoryModelSaver
    public interface HistoryModelSaver
    Interface for loading and saving of the "history" files.

    • Method Detail

      • load

        java.util.Map<java.lang.String,​HistoryModel> load​(java.util.Map<java.lang.String,​HistoryModel> models)

      • save

        boolean save​(java.util.Map<java.lang.String,​HistoryModel> models)