Function kill

lib/web/kill.js:26–41

(cm, from, to, mayGrow, text)

var lastKill = null;

function kill(cm, from, to, mayGrow, text) {
    if (text == null) text = cm.getRange(from, to);

    if (mayGrow && lastKill && lastKill.cm == cm && posEq(from, lastKill.pos) && cm.isClean(lastKill.gen))
        growRingTop(text);
    else
        addToRing(text);
    cm.replaceRange("", from, to, "+delete");

    if (mayGrow) lastKill = {
        cm: cm,
        pos: from,
        gen: cm.changeGeneration()
    };
    else lastKill = null;
}

function copy() {
	console.log("COPY");