Project: Eclipse_Platform_UI
Bug 258679 [Undo] NPE in OperationHistoryActionHandler$HistoryListener when deleting multiple unsaved Java editors
Reported: 2008-12-12 13:11:21 | Status: verified fixed


Files changed in fix:
bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/operations/OperationHistoryActionHandler.java