Module jEdit

Interface HistoryModelSaver

All Known Implementing Classes:
JEditHistoryModelSaver

public interface HistoryModelSaver
Interface for loading and saving of the "history" files.
Version:
$Id: FoldHandler.java 5568 2006-07-10 20:52:23Z kpouer $
Author:
Matthieu Casanova