Module jEdit

Package org.gjt.sp.jedit.msg

Class BufferUpdate

java.lang.Object

org.gjt.sp.jedit.EBMessage

org.gjt.sp.jedit.msg.BufferUpdate

public class BufferUpdate
extends EBMessage

Message sent when a buffer-related change occurs.

Since:

jEdit 2.2pre6

Version:

$Id: BufferUpdate.java 25221 2020-04-12 16:00:17Z kpouer $

Author:

Slava Pestov

Field Summary

Fields

Modifier and Type	Field	Description
static final Object	CLOSED	Buffer closed.
static final Object	CLOSING	About to be closed
static final Object	CREATED	Buffer created.
static final Object	DIRTY_CHANGED	Buffer dirty changed.
static final Object	LOAD_STARTED	Buffer load started.
static final Object	LOADED	Buffer loaded.
static final Object	MARKERS_CHANGED	Buffer markers changed.
static final Object	PROPERTIES_CHANGED	Properties changed.
static final Object	SAVED	Buffer saved.
static final Object	SAVING	Buffer saving.

Constructor Summary

Constructors

Constructor	Description
BufferUpdate(Buffer buffer, View view, Object what)	Creates a new buffer update message.

Method Summary

Modifier and Type	Method	Description
Buffer	getBuffer()	Returns the buffer involved.
View	getView()	Returns the view involved, which may be null.
Object	getWhat()	Returns what caused this buffer update.
String	paramString()

Methods inherited from class org.gjt.sp.jedit.EBMessage

getSource, toString

Methods inherited from class java.lang.Object

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

Field Details

CREATED

public static final Object CREATED

Buffer created.

CLOSING

public static final Object CLOSING

About to be closed

Since:

jEdit 4.2pre3

LOAD_STARTED

public static final Object LOAD_STARTED

Buffer load started.

Since:

jEdit 2.6pre1

LOADED

public static final Object LOADED

Buffer loaded.

CLOSED

public static final Object CLOSED

Buffer closed.

DIRTY_CHANGED

public static final Object DIRTY_CHANGED

Buffer dirty changed.

MARKERS_CHANGED

public static final Object MARKERS_CHANGED

Buffer markers changed.

SAVING

public static final Object SAVING

Buffer saving.

SAVED

public static final Object SAVED

Buffer saved.

Since:

jEdit 4.0pre4

PROPERTIES_CHANGED

public static final Object PROPERTIES_CHANGED

Properties changed.

Since:

jEdit 4.1pre1

Constructor Details

BufferUpdate

public BufferUpdate(Buffer buffer,
 View view,
 @Nonnull
 Object what)

Creates a new buffer update message.

Parameters:

buffer - The buffer

what - What happened

Method Details

getWhat

public Object getWhat()

Returns what caused this buffer update.

getBuffer

public Buffer getBuffer()

Returns the buffer involved.

getView

public View getView()

Returns the view involved, which may be null.

paramString

public String paramString()

Overrides:

paramString in class EBMessage

Returns:

a string representation of this message's parameters.