LivelyKernel/LivelyKernel — pull request #246 by philippotto (2014-03-10 13:43:07+00:00)
Title: PR: Change code editor shortcuts for windows to avoid conflicts with standard OS behaviour

This would fix #196.