org.youscope.uielements.scripteditor

Interface UndoRedoListener

All Superinterfaces:

java.util.EventListener

public interface UndoRedoListener
extends java.util.EventListener

Interface to get informed when the undo/redo state changed. This information can be e.g. used to update undo/redo buttons, e.g. to deactivate the undo button if undo is not possible.

Author:

Moritz Lang

Method Summary

Modifier and Type	Method and Description
void	undoRedoStateChanged() Fires when the undo/redo state changed (see interface description).

Method Detail

undoRedoStateChanged

void undoRedoStateChanged()

Fires when the undo/redo state changed (see interface description).