Function insertFloatHelper

lib/web/drags.js:441–516

(onWord)

//makeSlider(rrRaph, w, h, function(){return 0.5}, function(o,p,n){_field.log(n);return n})

var insertFloatHelper = function (onWord) {

    // var f = cm.findWordAt(onWord);
    // var selection_start = f.anchor
    // var selection_end = f.head

    var h = cm.getTokenAt(onWord)
    var selection_start = {line: onWord.line, ch: h.start}
    var selection_end = {line: onWord.line, ch: h.end}

    var w = 150;
    var h = 13;

    console.log(" inserting a new marking canvas into the editor between " + stringify(selection_start));
    var canvas = newOverlayWidget(selection_start.line, selection_start.ch, w, h);
    var marks = canvas.mark;

    var val = 0.5;

    var start = cm.setBookmark(selection_start);
    var end = cm.setBookmark(selection_end);

    var get = function () {
        return val;
    };
    var set = function (o, p, x) {
        // update in animation?

        console.log(" x-p = " + (x - p));

        var s = start.find()
        var e = end.find()

        var text = cm.getDoc().getRange(s, e)

        var currentDP = numDP(text);

        var nextVal = "" + (parseFloat(text) + 4 * (Math.abs(parseFloat(text)) + Math.pow(10, -currentDP)) * (x - p)).toFixed(Math.max(2, currentDP - 1))

        while (numDP(nextVal) > currentDP && nextVal.charAt(nextVal.length - 1) == '0')
            nextVal = nextVal.substring(0, nextVal.length - 1)

        console.log(nextVal);
        console.log(s);
        console.log(e);

        nextVal = "" + nextVal
        text = "" + text

        if (nextVal.endsWith(".") && !text.endsWith(".")) nextVal = nextVal.substring(0, nextVal.length - 1);



        if (text != nextVal) {
            cm.getDoc().replaceRange(nextVal, s, e);

           var f = findEnclosingPathForLine(onWord.line);
            if (f != null) {