Function insert14GraphSlider

lib/web/drags.js:1058–1131

(selection_start, selection_end)

//g = make4Graph(rrRaph, w, h, function(){return [[0.0,0.5],[0.25,0.5],[0.75,0.5],[1.0,0.5]]}, function(o,p,n){return n}, true)

var insert14GraphSlider = function (selection_start, selection_end) {
    var w = 150;
    var h = 150;

    canvas = newMarkingCanvas(selection_start, selection_end, w, h);

    var marks = canvas.mark;

    //try {
    get = function () {

        var rr = cm.getDoc().getRange(marks.find().from, marks.find().to);
        console.log(" rr4 <- ||" + rr + "||");
        f = JSON.parse(rr);
        console.log(" rr (f) <- " + stringify(f));
        return f;
    };
    set = function (o, p, x) {

        var ff = {line: marks.find().from.line, ch: marks.find().from.ch};
        ff.ch += 1;
        var ft = {line: marks.find().to.line, ch: marks.find().to.ch};
        ft.ch -= 1;

        var rr = cm.getDoc().getRange(marks.find().from, marks.find().to);
        console.log(" rr <beginSet ||" + rr + "||");
        console.log(" rr <to ||" + x + "||");

        var norm = " " + (stringify(x)).trim() + " ";

        console.log(" rr <to ||" + norm + "||");
        if (cm.getDoc().getRange(ff, ft) != norm) {
            console.log(" rr <was ||" + cm.getDoc().getRange(ff, ft) + "||");
            cm.getDoc().replaceRange(norm, ff, ft);
            //cm.refresh();

            f = findEnclosingPathForLine(selection_start.line);

            if (f != null) {
                executeBracket(f, true)
            }

        }

        rr = cm.getDoc().getRange(marks.find().from, marks.find().to);
        console.log(" rr <endSet ||" + rr + "||");

        return x;
    };

    make14Graph(canvas.canvas, w, h, get, set);

    // serialize this

    $(canvas.div).data("serialization", function () {
        var fc = marks.find().from.ch;
        var tc = marks.find().to.ch;
        var fl = marks.find().from.line;