This is implemented in 0.12.12
We are aware that sometimes Shift-F10 doesn’t trigger at the right spot.