1 19 20 package org.netbeans.modules.xml.xam.ui.undo; 21 22 import javax.swing.event.ChangeListener ; 23 import javax.swing.event.UndoableEditEvent ; 24 import javax.swing.undo.CannotRedoException ; 25 import javax.swing.undo.CannotUndoException ; 26 import javax.swing.undo.UndoableEdit ; 27 import org.openide.awt.UndoRedo; 28 29 35 public class FilterUndoManager extends UndoRedo.Manager { 36 37 private static final long serialVersionUID = 1L; 38 39 private UndoRedo.Manager original; 40 41 public FilterUndoManager(UndoRedo.Manager original) { 42 assert original != null; 43 this.original = original; 44 } 45 46 51 protected UndoRedo.Manager getOriginal() { 52 return original; 53 } 54 55 public void addChangeListener(ChangeListener changeListener) { 56 original.addChangeListener(changeListener); 57 } 58 59 public boolean addEdit(UndoableEdit anEdit) { 60 return original.addEdit(anEdit); 61 } 62 63 public boolean canRedo() { 64 return original.canRedo(); 65 } 66 67 public boolean canUndo() { 68 return original.canUndo(); 69 } 70 71 public boolean canUndoOrRedo() { 72 return original.canUndoOrRedo(); 73 } 74 75 public void die() { 76 original.die(); 77 } 78 79 public void discardAllEdits() { 80 original.discardAllEdits(); 81 } 82 83 public void end() { 84 original.end(); 85 } 86 87 public int getLimit() { 88 return original.getLimit(); 89 } 90 91 public String getPresentationName() { 92 return original.getPresentationName(); 93 } 94 95 public String getRedoPresentationName() { 96 return original.getRedoPresentationName(); 97 } 98 99 public String getUndoOrRedoPresentationName() { 100 return original.getUndoOrRedoPresentationName(); 101 } 102 103 public String getUndoPresentationName() { 104 return original.getUndoPresentationName(); 105 } 106 107 public boolean isInProgress() { 108 return original.isInProgress(); 109 } 110 111 public boolean isSignificant() { 112 return original.isSignificant(); 113 } 114 115 public void redo() throws CannotRedoException { 116 original.redo(); 117 } 118 119 public void removeChangeListener(ChangeListener changeListener) { 120 original.removeChangeListener(changeListener); 121 } 122 123 public boolean replaceEdit(UndoableEdit anEdit) { 124 return original.replaceEdit(anEdit); 125 } 126 127 public void setLimit(int l) { 128 original.setLimit(l); 129 } 130 131 public void undo() throws CannotUndoException { 132 original.undo(); 133 } 134 135 public void undoOrRedo() throws CannotRedoException , CannotUndoException { 136 original.undoOrRedo(); 137 } 138 139 public void undoableEditHappened(UndoableEditEvent event) { 140 original.undoableEditHappened(event); 141 } 142 } 143 | Popular Tags |