Module jEdit

Package org.gjt.sp.jedit.gui

Class JEditHistoryModelSaver

java.lang.Object

org.gjt.sp.jedit.gui.JEditHistoryModelSaver

All Implemented Interfaces:

HistoryModelSaver

public class JEditHistoryModelSaver
extends Object
implements HistoryModelSaver

Handles loading and saving of the "history" files. A history file is .ini format and stores historymodels for all named historytextfields, separately but in the same file.

Version:

$Id: FoldHandler.java 5568 2006-07-10 20:52:23Z kpouer $

Author:

Matthieu Casanova

Constructor Summary

Constructors

Constructor	Description
JEditHistoryModelSaver()

Method Summary

Modifier and Type	Method	Description
Map<String,HistoryModel>	load(Map<String,HistoryModel> models)
boolean	save(Map<String,HistoryModel> models)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

JEditHistoryModelSaver

public JEditHistoryModelSaver()

Method Details

load

public Map<String,HistoryModel> load(Map<String,HistoryModel> models)

Specified by:

load in interface HistoryModelSaver

save

public boolean save(Map<String,HistoryModel> models)

Specified by:

save in interface HistoryModelSaver