changing f12 shortcut to f10, to make it more compatible with st3