Function handleCharBinding

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:766–774

(e, ch)

            return handled;
        }
        function handleCharBinding(e, ch) {
            var handled = lookupKey("'" + ch + "'", options.extraKeys,
                options.keyMap, function(b) { return doHandleBinding(b, true); });
            if (handled) {
                e_preventDefault(e);
                restartBlink();
            }
            return handled;
        }

        var lastStoppedKey = null, maybeTransition;
        function onKeyDown(e) {