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 java.lang.Object
Recent file list entry.
Constructor Summary |
BufferHistory.Entry(java.lang.String path,
int caret,
java.lang.String selection,
java.lang.String encoding,
java.lang.String mode)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
path
public java.lang.String path
caret
public int caret
selection
public java.lang.String selection
encoding
public java.lang.String encoding
mode
public java.lang.String mode
BufferHistory.Entry
public BufferHistory.Entry(java.lang.String path,
int caret,
java.lang.String selection,
java.lang.String encoding,
java.lang.String mode)
getSelection
public Selection[] getSelection()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object