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.

Version:

$Id: BufferHistory.java 24428 2016-06-23 02:49:29Z daleanson $

Author:

Slava Pestov

Field Summary

Fields

Modifier and Type	Field	Description
int	caret
String	encoding
String	mode
String	path
String	selection

Constructor Summary

Constructors

Constructor	Description
Entry(String path, int caret, String selection, String encoding, String mode)

Method Summary

Modifier and Type	Method	Description
Selection[]	getSelection()
String	toString()

Methods inherited from class Object

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

Field Details

path

public String path

caret

public int caret

selection

public String selection

encoding

public String encoding

mode

public String mode

Constructor Details

Entry

public Entry(String path,
 int caret,
 String selection,
 String encoding,
 String mode)

Method Details

getSelection

public Selection[] getSelection()

toString

public String toString()

Overrides:

toString in class Object