org.gjt.sp.jedit
Class BufferHistory.Entry
java.lang.Object
org.gjt.sp.jedit.BufferHistory.Entry
- Enclosing class:
- BufferHistory
- public static class BufferHistory.Entry
- extends Object
Recent file list entry.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
path
public String path
caret
public int caret
selection
public String selection
encoding
public String encoding
BufferHistory.Entry
public BufferHistory.Entry(String path,
int caret,
String selection,
String encoding)
getSelection
public Selection[] getSelection()