org.gjt.sp.jedit

Class BufferHistory

java.lang.Object

org.gjt.sp.jedit.BufferHistory

public class BufferHistory
extends java.lang.Object

Recent file list.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	BufferHistory.Entry Recent file list entry.

Constructor Summary

Constructors

Constructor and Description
BufferHistory()

Method Summary

Modifier and Type	Method and Description
static void	clear() Clear the BufferHistory.
static BufferHistory.Entry	getEntry(java.lang.String path)
static java.util.List<BufferHistory.Entry>	getHistory() Returns the Buffer list.
static void	load()
static void	save()
static void	setEntry(java.lang.String path, int caret, Selection[] selection, java.lang.String encoding, java.lang.String mode)

Methods inherited from class java.lang.Object

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

Constructor Detail

BufferHistory

public BufferHistory()

Method Detail

getEntry

public static BufferHistory.Entry getEntry(java.lang.String path)

setEntry

public static void setEntry(java.lang.String path,
                            int caret,
                            Selection[] selection,
                            java.lang.String encoding,
                            java.lang.String mode)

clear

public static void clear()

Clear the BufferHistory.

Since:

4.3pre6

getHistory

public static java.util.List<BufferHistory.Entry> getHistory()

Returns the Buffer list.

Returns:

the buffer history list

Since:

jEdit 4.2pre2

load

public static void load()

save

public static void save()