13 is the magic key to give 'enter’ as input in terminals (if I remember correctly)
Ben
On 17 Feb 2014, at 11:54, Nicolai Hess nicolaihess@web.de wrote:
Someone knows(remembers) why Ctrl+Enter is mapped to keyvalue 13 I would expect Ctrl+M to be mapped at this value.
Ctrl+l -> keyValue 12 Ctrl+Enter -> keyValue 13 Ctrl+n -> keyValue 14
I miss Ctrl+M -> keyValue ????
(see Fogbugz issue 12103 shortcuts for tools)
(I vagualy remember this is related to the VM and there was a reason for doing so, but don't know it anymore)
regards nicolai
vm-dev@lists.squeakfoundation.org