Package org.gjt.sp.jedit
Class BufferHistory
- java.lang.Object
-
- org.gjt.sp.jedit.BufferHistory
-
public class BufferHistory extends java.lang.ObjectRecent file list.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classBufferHistory.EntryRecent file list entry.
-
Constructor Summary
Constructors Constructor Description BufferHistory()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static voidclear()Clear the BufferHistory.static BufferHistory.EntrygetEntry(java.lang.String path)static java.util.List<BufferHistory.Entry>getHistory()Returns the Buffer list.static voidload()static voidsave()static voidsetEntry(java.lang.String path, int caret, Selection[] selection, java.lang.String encoding, java.lang.String mode)
-
-
-
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, java.lang.String mode)
-
clear
public static void clear()
Clear the BufferHistory.- Since:
- 4.3pre6
-
getHistory
public static java.util.List<BufferHistory.Entry> getHistory()
Returns the Buffer list.- Returns:
- the buffer history list
- Since:
- jEdit 4.2pre2
-
load
public static void load()
-
save
public static void save()
-
-