I hope this feature gets added: [WayBack] Is there no shortcut in the IDE for Quick Edit? – Reinier Sterkenburg – Google+.
The thread evolved into a few posts about failing keyboard handling (including Shift-F10) which has been failing for a long time and known to the development team for almost that time.
Hopefully things like that get fixed one day as well.
–jeroen