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
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.ObjectCLOSEDBuffer closed.static java.lang.ObjectCLOSINGAbout to be closedstatic java.lang.ObjectCREATEDBuffer created.static java.lang.ObjectDIRTY_CHANGEDBuffer dirty changed.static java.lang.ObjectLOAD_STARTEDBuffer load started.static java.lang.ObjectLOADEDBuffer loaded.static java.lang.ObjectMARKERS_CHANGEDBuffer markers changed.static java.lang.ObjectPROPERTIES_CHANGEDProperties changed.static java.lang.ObjectSAVEDBuffer saved.static java.lang.ObjectSAVINGBuffer saving.
-
Constructor Summary
Constructors Constructor Description BufferUpdate(Buffer buffer, View view, java.lang.Object what)Creates a new buffer update message.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description BuffergetBuffer()Returns the buffer involved.ViewgetView()Returns the view involved, which may be null.java.lang.ObjectgetWhat()Returns what caused this buffer update.java.lang.StringparamString()
-
-
-
Field Detail
-
CREATED
public static final java.lang.Object CREATED
Buffer created.
-
CLOSING
public static final java.lang.Object CLOSING
About to be closed- Since:
- jEdit 4.2pre3
-
LOAD_STARTED
public static final java.lang.Object LOAD_STARTED
Buffer load started.- Since:
- jEdit 2.6pre1
-
LOADED
public static final java.lang.Object LOADED
Buffer loaded.
-
CLOSED
public static final java.lang.Object CLOSED
Buffer closed.
-
DIRTY_CHANGED
public static final java.lang.Object DIRTY_CHANGED
Buffer dirty changed.
-
MARKERS_CHANGED
public static final java.lang.Object MARKERS_CHANGED
Buffer markers changed.
-
SAVING
public static final java.lang.Object SAVING
Buffer saving.
-
SAVED
public static final java.lang.Object SAVED
Buffer saved.- Since:
- jEdit 4.0pre4
-
PROPERTIES_CHANGED
public static final java.lang.Object PROPERTIES_CHANGED
Properties changed.- Since:
- jEdit 4.1pre1
-
-
Method Detail
-
getWhat
public java.lang.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 java.lang.String paramString()
- Overrides:
paramStringin classEBMessage- Returns:
- a string representation of this message's parameters.
-
-