Function doHandleBinding

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:711–729

(bound, dropShift)

        }

        function doHandleBinding(bound, dropShift) {
            if (typeof bound == "string") {
                bound = commands[bound];
                if (!bound) return false;
            }
            var prevShift = shiftSelecting;
            try {
                if (options.readOnly) suppressEdits = true;
                if (dropShift) shiftSelecting = null;
                bound(instance);
            } catch(e) {
                if (e != Pass) throw e;
                return false;
            } finally {
                shiftSelecting = prevShift;
                suppressEdits = false;
            }
            return true;
        }
        function handleKeyBinding(e) {
            // Handle auto keymap transitions
            var startMap = getKeyMap(options.keyMap), next = startMap.auto;