public/javascripts/codemirror/js/select.js
function selectRange(range, window) {
      var selection = window.getSelection();
      selection.removeAllRanges();
      selection.addRange(range);
    }
function selectRange(range, window) {
      var selection = window.getSelection();
      selection.removeAllRanges();
      selection.addRange(range);
    }
function selectRange ( range , window ) { var selection = window . getSelection ( ) ; selection . removeAllRanges ( ) ; selection . addRange ( range ) ; }
Helper for selecting a range object.
Helper for selecting a range object .