Function insert4GraphSliderHere

lib/web/drags.js:898–905

()

};

var insert4GraphSliderHere = function () {
    var selection_start = cm.getCursor("from");
    cm.replaceRange(" [[0.0,0.0],[0.333,0.333],[0.666,0.666],[1,1]] ", 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 insert4GraphSlider(selection_start, selection_end);
};

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