comparison dwtx/jface/text/DefaultUndoManager.d @ 159:7926b636c282

...
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 01:57:58 +0200
parents a9566845f1cb
children 3678e4f1a766
comparison
equal deleted inserted replaced
158:25f1f92fa3df 159:7926b636c282
972 /** 972 /**
973 * The operation history listener used for managing undo and redo before 973 * The operation history listener used for managing undo and redo before
974 * and after the individual commands are performed. 974 * and after the individual commands are performed.
975 * @since 3.1 975 * @since 3.1
976 */ 976 */
977 private IOperationHistoryListener fHistoryListener= new HistoryListener(); 977 private IOperationHistoryListener fHistoryListener;
978 978
979 /** 979 /**
980 * The command last added to the operation history. This must be tracked 980 * The command last added to the operation history. This must be tracked
981 * internally instead of asking the history, since outside parties may be placing 981 * internally instead of asking the history, since outside parties may be placing
982 * items on our undo/redo history. 982 * items on our undo/redo history.
987 * Creates a new undo manager who remembers the specified number of edit commands. 987 * Creates a new undo manager who remembers the specified number of edit commands.
988 * 988 *
989 * @param undoLevel the length of this manager's history 989 * @param undoLevel the length of this manager's history
990 */ 990 */
991 public this(int undoLevel) { 991 public this(int undoLevel) {
992 fHistoryListener= new HistoryListener();
992 fHistory= OperationHistoryFactory.getOperationHistory(); 993 fHistory= OperationHistoryFactory.getOperationHistory();
993 setMaximalUndoLevel(undoLevel); 994 setMaximalUndoLevel(undoLevel);
994 } 995 }
995 996
996 /** 997 /**