Function insertBool

lib/web/drags.js:1242–1303

(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 insertBool = function (selection_start, selection_end) {
    var w = 30;
    var h = 30;

    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);
        f = JSON.parse(rr);
        console.log(" rr <current ||" + rr + "|| = " + f + " " + (f != 0));

        return f != 0;
    };
    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);
        var norm = " " + (o != 0 ? 1 : 0) + " ";
        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 o;
    };

    checkBox(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;
        var tl = marks.find().to.line;
        console.log(" inside serialization range is " + fc + " " + tc + "  -> " + fl + " " + tl);

        // todo, add guard to make sure that this text hasn't changed....
        return "insertBool({'line':" + fl + ",'ch':" + fc + "},{'line':" + tl + ",'ch':" + tc + "})";
    });