public class JextEvent
extends java.lang.Object
JextEvent
emitted by Jext windows on the order
of a Jext
instance or on the order of another class
(JextTextArea
for example).JextListener
Modifier and Type | Field and Description |
---|---|
static int |
BATCH_MODE_SET
Event type indicating batch mode is on
|
static int |
BATCH_MODE_UNSET
Event type indicating batch mode is off
|
static int |
CHANGED_UPDATE
Event type indicating a change in a text area
|
static int |
CLOSING_WINDOW
Event type indicating a window was closed
|
static int |
FILE_CLEARED
Event type indicating a file was cleared (new)
|
static int |
FILE_OPENED
Event type indicating a file was opened
|
static int |
INSERT_UPDATE
Event type indicating an insertion in a text area
|
static int |
KILLING_JEXT
Event type indicating the last Jext window is being killed, and maybe Jext itself.
|
static int |
OPENING_WINDOW
Event type indicating a new window was opened
|
static int |
PROPERTIES_CHANGED
Event type indicating a change of the options
|
static int |
REMOVE_UPDATE
Event type indicating a removing in a text area
|
static int |
SYNTAX_MODE_CHANGED
Event type indicating a change of the colorizing syntax mode
|
static int |
TEXT_AREA_CLOSED
Event type indicating a text area was closed
|
static int |
TEXT_AREA_FOCUS_GAINED
Event type indicating current selected text area has gained focus.
|
static int |
TEXT_AREA_OPENED
Event type indicating a new text area is available
|
static int |
TEXT_AREA_SELECTED
Event type indicating current selected text area has changed
|
Constructor and Description |
---|
JextEvent(JextFrame parent,
int eventType)
Creates a new JextEvent, registering the parent of
this event, the type of the event and also the
text area which was selected when event was created.
|
JextEvent(JextFrame parent,
JextTextArea textArea,
int eventType)
Creates a new JextEvent, registering the parent of
this event, the type of the event and also the
text area which was selected when event was created.
|
Modifier and Type | Method and Description |
---|---|
JextFrame |
getJextFrame()
Returns the
Jext parent from which the
event has been fired. |
JextTextArea |
getTextArea()
Returns the text area which was visible when the event has been
fired as the selected text area may have changed when event is received
due to the action of another listener.
|
int |
getWhat()
Returns the type of event.
|
public static final int PROPERTIES_CHANGED
public static final int SYNTAX_MODE_CHANGED
public static final int CHANGED_UPDATE
public static final int INSERT_UPDATE
public static final int REMOVE_UPDATE
public static final int FILE_OPENED
public static final int FILE_CLEARED
public static final int BATCH_MODE_SET
public static final int BATCH_MODE_UNSET
public static final int TEXT_AREA_FOCUS_GAINED
public static final int TEXT_AREA_SELECTED
public static final int TEXT_AREA_OPENED
public static final int TEXT_AREA_CLOSED
public static final int OPENING_WINDOW
public static final int CLOSING_WINDOW
public static final int KILLING_JEXT
public JextEvent(JextFrame parent, int eventType)
parent
- Jext
parenteventType
- A int value which determine the nature of the eventpublic JextEvent(JextFrame parent, JextTextArea textArea, int eventType)
parent
- Jext
parentThe
- event related text areaeventType
- A int value which determine the nature of the eventpublic int getWhat()
public JextFrame getJextFrame()
Jext
parent from which the
event has been fired.Jext
instance, indicating which window has fired the eventpublic JextTextArea getTextArea()
JextTextArea
designating the selected text area when event
has been firedCopyright ? 2002 Romain Guy.