PR: Change code editor shortcuts for windows to avoid conflicts with standard OS behaviour

This would fix #196.