public class BufferHistory
extends java.lang.Object
| Modifier and Type | Class and Description | 
|---|---|
| static class  | BufferHistory.EntryRecent file list entry. | 
| Constructor and Description | 
|---|
| BufferHistory() | 
| Modifier and Type | Method and 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()