org.gjt.sp.jedit
Class BufferHistory
java.lang.Object
|
+--org.gjt.sp.jedit.BufferHistory
- public class BufferHistory
- extends java.lang.Object
Recent file list.
- Version:
- $Id: BufferHistory.java,v 1.7 2003/02/11 02:31:05 spestov Exp $
- Author:
- Slava Pestov
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
BufferHistory
public BufferHistory()
getEntry
public static BufferHistory.Entry getEntry(java.lang.String path)
setEntry
public static void setEntry(java.lang.String path,
int caret,
Selection[] selection,
java.lang.String encoding)
getBufferHistory
public static java.util.Vector getBufferHistory()
load
public static void load(java.io.File file)
save
public static void save(java.io.File file)