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