Project: Eclipse_Platform_UI
Bug 53497 doDelete() does not consume event on StyledText
Reported: 2004-03-02 11:20:51 | Status: resolved wontfix

If the delete key is pressed in a StyledText widget, some work will be done to delete the current selection. However, the event is not marked as doit=false. This means that listeners further down the chain aren't readily notified that some work has already been done. The workaround for this problem is to attach a modify listener to the widget. This modify listener can either notify or remove the key down listener that doesn't want to do duplicate work.

Files changed in fix:
bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/keys/CancelOnModifyListener.java bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/keys/OutOfOrderVerifyListener.java