javax.swing.text: static class: DefaultStyledDocument.StyleChangeUndoableEdit

javax.swing.text
static class: DefaultStyledDocument.StyleChangeUndoableEdit [javadoc | source]

java.lang.Object
   javax.swing.undo.AbstractUndoableEdit
      javax.swing.text.DefaultStyledDocument$StyleChangeUndoableEdit

All Implemented Interfaces:
UndoableEdit, Serializable

UndoableEdit for changing the resolve parent of an Element.

Field Summary
protected AbstractElement	element	Element to change resolve parent of.
protected Style	newStyle	New style.
protected AttributeSet	oldStyle	Old style, before setting newStyle.

Fields inherited from javax.swing.undo.AbstractUndoableEdit:
UndoName, RedoName, hasBeenDone, alive

Constructor:
public StyleChangeUndoableEdit(AbstractElement element, Style newStyle) { super(); this.element = element; this.newStyle = newStyle; oldStyle = element.getResolveParent(); }

Constructor:

 public StyleChangeUndoableEdit(AbstractElement element,
    Style newStyle) {
            super();
            this.element = element;
            this.newStyle = newStyle;
            oldStyle = element.getResolveParent();
}

Method from javax.swing.text.DefaultStyledDocument$StyleChangeUndoableEdit Summary:
redo, undo

Methods from javax.swing.undo.AbstractUndoableEdit:
addEdit, canRedo, canUndo, die, getPresentationName, getRedoPresentationName, getUndoPresentationName, isSignificant, redo, replaceEdit, toString, undo

Methods from java.lang.Object:
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method from javax.swing.text.DefaultStyledDocument$StyleChangeUndoableEdit Detail:
public void redo() throws CannotRedoException { super.redo(); element.setResolveParent(newStyle); } Redoes a change.
public void undo() throws CannotUndoException { super.undo(); element.setResolveParent(oldStyle); } Undoes a change.

Method from javax.swing.text.DefaultStyledDocument$StyleChangeUndoableEdit Detail:

 public  void redo() throws CannotRedoException {
            super.redo();
            element.setResolveParent(newStyle);
}

Redoes a change.

 public  void undo() throws CannotUndoException {
            super.undo();
            element.setResolveParent(oldStyle);
}

Undoes a change.