Include PyDev in "optional plugins" Ctrl keys.