Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> gjt >> sp >> [ jedit overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

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.

---

Field Summary
int	caret
java.lang.String	encoding
java.lang.String	path
java.lang.String	selection

 

Constructor Summary

BufferHistory.Entry(java.lang.String path, int caret, java.lang.String selection, java.lang.String encoding)

 

Method Summary
org.gjt.sp.jedit.textarea.Selection[]	getSelection()

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Field Detail

path

public java.lang.String path

---

caret

public int caret

---

selection

public java.lang.String selection

---

encoding

public java.lang.String encoding

Constructor Detail

BufferHistory.Entry

public BufferHistory.Entry(java.lang.String path,
                           int caret,
                           java.lang.String selection,
                           java.lang.String encoding)

Method Detail

getSelection

public org.gjt.sp.jedit.textarea.Selection[] getSelection()

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> gjt >> sp >> [ jedit overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---