Module jEdit

Package org.gjt.sp.jedit

Class BufferHistory

java.lang.Object

org.gjt.sp.jedit.BufferHistory

public class BufferHistory
extends Object

Recent file list.

Version:

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

Author:

Slava Pestov

Nested Class Summary

Nested Classes

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

Constructor Summary

Constructors

Constructor	Description
BufferHistory()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

BufferHistory

public BufferHistory()

Method Details

getEntry

public static BufferHistory.Entry getEntry(String path)

setEntry

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

clear

public static void clear()

Clear the BufferHistory.

Since:

4.3pre6

getHistory

public static 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()