Function insertFloatSliderHere

lib/web/drags.js:572–577

()

};

var insertFloatSliderHere = function () {
    var selection_start = cm.getCursor("from");
    cm.replaceRange(" 0.0 ", selection_start); // we pad with spaces, otherwise when we replace this text we blow away our widget as well
    var selection_end = cm.getCursor("to");
    return insertFloatSlider(selection_start, selection_end);
};

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