public class UndoManager extends Object
Constructor and Description |
---|
UndoManager() |
public UndoAction getNext()
public void addUndo(UndoAction u)
public void clear()
public boolean isEmpty()
public int size()
Copyright © 2013 JBoss, a division of Red Hat, Inc.. All rights reserved.