public class BufferHistory
extends java.lang.Object
Modifier and Type | Class | Description |
---|---|---|
static class |
BufferHistory.Entry |
Recent file list entry.
|
Constructor | Description |
---|---|
BufferHistory() |
Modifier and Type | Method | Description |
---|---|---|
static void |
clear() |
Clear the BufferHistory.
|
static BufferHistory.Entry |
getEntry(java.lang.String path) |
|
static java.util.List<BufferHistory.Entry> |
getHistory() |
Returns the Buffer list.
|
static void |
load() |
|
static void |
save() |
|
static void |
setEntry(java.lang.String path,
int caret,
Selection[] selection,
java.lang.String encoding,
java.lang.String mode) |
public static BufferHistory.Entry getEntry(java.lang.String path)
public static void setEntry(java.lang.String path, int caret, Selection[] selection, java.lang.String encoding, java.lang.String mode)
public static void clear()
public static java.util.List<BufferHistory.Entry> getHistory()
public static void load()
public static void save()