Function e_prop

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:3054–3057

(e, prop)

    // Allow 3rd-party code to override event properties by adding an override
    // object to an event object.
    function e_prop(e, prop) {
        var overridden = e.override && e.override.hasOwnProperty(prop);
        return overridden ? e.override[prop] : e[prop];
    }

    // Event handler registration. If disconnect is true, it'll return a
    // function that unregisters the handler.