new codemirror.grabkeys interface