Ctrl+3 not bound by default anymore on PyDev so that it does not conflict with the Eclipse Ctrl+3.