org.jeditor.gui

Interface EditorStateListener

public interface EditorStateListener

An interface for listeners which are fired by modifications in the JEditor.

Field Summary

Fields

Modifier and Type	Field and Description
static int	STATE_CREATED The created state.
static int	STATE_MODIFIED The modified state.
static int	STATE_SAVED The created state.
static int	STATE_UNCHANGED The unchanged state.

Method Summary

Modifier and Type	Method and Description
void	documentStateChanged(int state) Fired if the state of a JEditor changes.

Field Detail

STATE_UNCHANGED

static final int STATE_UNCHANGED

The unchanged state. It will be fired if there are as many undos as the changes count, or the JEditor is externally set as unchanged through JEditor.setUnchanged().

See Also:

Constant Field Values

STATE_MODIFIED

static final int STATE_MODIFIED

The modified state. It will be fired for each modification, or for redos.

See Also:

Constant Field Values

STATE_CREATED

static final int STATE_CREATED

The created state. It will be fired when the text or document is set externally.

See Also:

Constant Field Values

STATE_SAVED

static final int STATE_SAVED

The created state. It will be fired when the text or document is saved (using the CTRL+S key event.

See Also:

Constant Field Values

Method Detail

documentStateChanged

void documentStateChanged(int state)

Fired if the state of a JEditor changes.

Parameters:

state - the state