Class BufferUpdate
java.lang.Object
org.gjt.sp.jedit.EBMessage
org.gjt.sp.jedit.msg.BufferUpdate
Message sent when a buffer-related change occurs.
- Since:
- jEdit 2.2pre6
- Version:
- $Id: BufferUpdate.java 21831 2012-06-18 22:54:17Z ezust $
- Author:
- Slava Pestov
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final ObjectBuffer closed.static final ObjectAbout to be closedstatic final ObjectBuffer created.static final ObjectBuffer dirty changed.static final ObjectBuffer load started.static final ObjectBuffer loaded.static final ObjectBuffer markers changed.static final ObjectProperties changed.static final ObjectBuffer saved.static final ObjectBuffer saving. -
Constructor Summary
ConstructorsConstructorDescriptionBufferUpdate(Buffer buffer, View view, Object what) Creates a new buffer update message. -
Method Summary
-
Field Details
-
CREATED
Buffer created. -
CLOSING
-
LOAD_STARTED
-
LOADED
Buffer loaded. -
CLOSED
Buffer closed. -
DIRTY_CHANGED
Buffer dirty changed. -
MARKERS_CHANGED
Buffer markers changed. -
SAVING
Buffer saving. -
SAVED
-
PROPERTIES_CHANGED
-
-
Constructor Details
-
BufferUpdate
-
-
Method Details
-
getWhat
Returns what caused this buffer update. -
getBuffer
Returns the buffer involved. -
getView
Returns the view involved, which may be null. -
paramString
- Overrides:
paramStringin classEBMessage- Returns:
- a string representation of this message's parameters.
-