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

Nested Class Summary
static class BufferHistory.Entry
          Recent file list entry.
 
Constructor Summary
BufferHistory()
           
 
Method Summary
static java.util.Vector getBufferHistory()
           
static BufferHistory.Entry getEntry(java.lang.String path)
           
static void load(java.io.File file)
           
static void save(java.io.File file)
           
static void setEntry(java.lang.String path, int caret, Selection[] selection, java.lang.String encoding)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BufferHistory

public BufferHistory()
Method Detail

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)