public static class BufferHistory.Entry
extends java.lang.Object
| Modifier and Type | Field and Description | 
|---|---|
| int | caret | 
| java.lang.String | encoding | 
| java.lang.String | mode | 
| java.lang.String | path | 
| java.lang.String | selection | 
| Constructor and Description | 
|---|
| Entry(java.lang.String path,
     int caret,
     java.lang.String selection,
     java.lang.String encoding,
     java.lang.String mode) | 
| Modifier and Type | Method and Description | 
|---|---|
| Selection[] | getSelection() | 
| java.lang.String | toString() | 
public java.lang.String path
public int caret
public java.lang.String selection
public java.lang.String encoding
public java.lang.String mode
public Entry(java.lang.String path,
             int caret,
             java.lang.String selection,
             java.lang.String encoding,
             java.lang.String mode)
public Selection[] getSelection()
public java.lang.String toString()
toString in class java.lang.Object