public final class OperationHistoryFactory
This class is used to maintain the instance of the operation history that
should be used by classes that access the undo or redo history and add
undoable operations to the history.
It is intended that an application can create an operation history appropriate
for its needs and set it into this class. Otherwise, a default operation history
will be created. The operation history may only be set one time. All classes that
access an operations history use this class to obtain the correct instance.
Methods inherited from class java.lang.
- Return the operation history to be used for managing undoable operations.
- the operation history to be used for executing, undoing, and
public static void setOperationHistory(
- Set the operation history to be used for managing undoable operations.
This method may only be called one time, and must be called before any
request to get the history. Attempts to set the operation history will
be ignored after it has been already set, or after a default one has
history - the operation history to be used for executing, undoing, and
Guidelines for using Eclipse APIs.
Copyright (c) Eclipse contributors and others 2000, 2008. All rights reserved.