section_new.js 444 B

123456789101112131415
  1. f=function(elem,style,start,end){
  2. start=$(elem).children().get(start);
  3. end=$(elem).children().get(end);
  4. var range=document.createRange();
  5. range.setStartBefore(start);
  6. range.setEndAfter(end);
  7. var newNode=document.createElement("div");
  8. newNode.className=style;
  9. range.surroundContents(newNode);
  10. range.setStartBefore(start);
  11. range.setEndBefore(start);
  12. var selection=window.getSelection();
  13. selection.removeAllRanges();
  14. selection.addRange(range);
  15. };