Function insertFloatSlider

lib/web/drags.js:519–570

(selection_start, selection_end)

var insertFloatSlider = function (selection_start, selection_end) {
    var w = 300;
    var h = 20;

    console.log(" inserting a new marking canvas into the editor between " + stringify(selection_start) + " and " + stringify(selection_end));
    canvas = newMarkingCanvas(selection_start, selection_end, w, h);

    var marks = canvas.mark;

    get = function () {
        f = parseFloat(cm.getDoc().getRange(marks.find().from, marks.find().to));
        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;

        if (cm.getDoc().getRange(ff, ft) != "" + x) {
            cm.getDoc().replaceRange("" + x, ff, ft);
            //cm.refresh();

            f = findEnclosingPathForLine(selection_start.line);
            if (f != null) {
                executeBracket(f, true)
            }

        }

        return x;
    };

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

    // serialize this

//	console.log("about to set serialization")
    $(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;

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

    return canvas;
};

var insertFloatSliderHere = function () {
    var selection_start = cm.getCursor("from");