org.gjt.sp.jedit
Class BufferHistory

java.lang.Object
  extended by org.gjt.sp.jedit.BufferHistory

public class BufferHistory
extends java.lang.Object

Recent file list.


Nested Class Summary
static class BufferHistory.Entry
          Recent file list entry.
 
Constructor Summary
BufferHistory()
           
 
Method Summary
static void clear()
          Clear the BufferHistory.
static BufferHistory.Entry getEntry(java.lang.String path)
           
static java.util.List getHistory()
           
static void load()
           
static void save()
           
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)

clear

public static void clear()
Clear the BufferHistory.

Since:
4.3pre6

getHistory

public static java.util.List getHistory()
Since:
jEdit 4.2pre2

load

public static void load()

save

public static void save()