palmed.edit.selection
Class UndoManager

java.lang.Object
  palmed.edit.selection.UndoManager

All Implemented Interfaces:

ISerializable

public final class UndoManager
extends java.lang.Object
implements ISerializable

This class implements an undo manager.

Version:

$Revision$ $Date$

Author:

Mathieu Champlon

Constructor Summary

UndoManager(int size)
Create an undo/redo manager.

Method Summary

void	add(IAction action) Add an action to the undo list.
void	clear() Clear the undo and redo lists.
void	marshall(java.io.OutputStream stream) Write to an output stream.
void	redo() Redo the last undone action.
void	skip() Skip the next merge.
void	undo() Undo the last action.
void	unmarshall(java.io.InputStream stream) Read from an input stream.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

UndoManager

public UndoManager(int size)

Create an undo/redo manager.

Parameters:

size - the size of the undo stack.

Method Detail

undo

public void undo()

Undo the last action.

redo

public void redo()

Redo the last undone action.

add

public void add(IAction action)

Add an action to the undo list.

Parameters:

action - the action

clear

public void clear()

Clear the undo and redo lists.

marshall

public void marshall(java.io.OutputStream stream)

Write to an output stream.

Specified by:

marshall in interface ISerializable

Parameters:

stream - the stream to write to

unmarshall

public void unmarshall(java.io.InputStream stream)

Read from an input stream.

Specified by:

unmarshall in interface ISerializable

Parameters:

stream - the stream to read from

skip

public void skip()

Skip the next merge.