comparison dwtx/text/undo/DocumentUndoManager.d @ 159:7926b636c282

...
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 01:57:58 +0200
parents f70d9508c95c
children 3678e4f1a766
comparison
equal deleted inserted replaced
158:25f1f92fa3df 159:7926b636c282
654 */ 654 */
655 private class HistoryListener : IOperationHistoryListener { 655 private class HistoryListener : IOperationHistoryListener {
656 656
657 private IUndoableOperation fOperation; 657 private IUndoableOperation fOperation;
658 658
659 public void historyNotification(final OperationHistoryEvent event) { 659 public void historyNotification(OperationHistoryEvent event) {
660 final int type= event.getEventType(); 660 final int type= event.getEventType();
661 switch (type) { 661 switch (type) {
662 case OperationHistoryEvent.ABOUT_TO_UNDO: 662 case OperationHistoryEvent.ABOUT_TO_UNDO:
663 case OperationHistoryEvent.ABOUT_TO_REDO: 663 case OperationHistoryEvent.ABOUT_TO_REDO:
664 // if this is one of our operations 664 // if this is one of our operations