Project: Eclipse_Platform_UI
Bug 319115 [Compatibility] Double Ctrl+O is not working
Reported: 2010-07-07 08:15:26 | Status: resolved fixed

It appears to have been a problem since at least RC1. It works in my original workspace but not if I spawn a new one. It is broken in the inner also.

Files changed in fix:
bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/commands/CommandLegacyWrapper.java