org.gjt.sp.jedit
Class BufferHistory.Entry

java.lang.Object
  extended byorg.gjt.sp.jedit.BufferHistory.Entry
Enclosing class:
BufferHistory

public static class BufferHistory.Entry
extends Object

Recent file list entry.


Field Summary
 int caret
           
 String encoding
           
 String path
           
 String selection
           
 
Constructor Summary
BufferHistory.Entry(String path, int caret, String selection, String encoding)
           
 
Method Summary
 Selection[] getSelection()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

path

public String path

caret

public int caret

selection

public String selection

encoding

public String encoding
Constructor Detail

BufferHistory.Entry

public BufferHistory.Entry(String path,
                           int caret,
                           String selection,
                           String encoding)
Method Detail

getSelection

public Selection[] getSelection()