Function insert14GraphSliderHere

lib/web/drags.js:1133–1140

()

};

var insert14GraphSliderHere = function () {
    var selection_start = cm.getCursor("from");
    cm.replaceRange(" [0, 0.3333, 0.6666, 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 insert14GraphSlider(selection_start, selection_end);
};

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