Mercurial > projects > dwt-addons
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 /** |