Function paste

lib/web/kill.js:58–69

()

}

function paste() {
    _field.log("about to paste");
    var newText = getNewClipboard(function (newText) {
        _field.log("in continuation");
        if (newText != null)
            addToRing(newText);

        var start = cm.getCursor();
        cm.replaceRange(getFromRing(0), cm.getCursor("start"), cm.getCursor("end"), "paste");
        cm.setSelection(cm.getCursor("end"), cm.getCursor("end"));
    })
}

function pasteAgain() {
    cm.replaceSelection(popFromRing(), "around", "paste");