[def-]

Thanks, that's good to know, one less thing to need the mouse for!