OLD | NEW |
1 function selectRangeAfterLayoutAndPaint(startElement, startIndex, endElement, en
dIndex) { | 1 function selectRangeAfterLayoutAndPaint(startElement, startIndex, endElement, en
dIndex) { |
2 runAfterLayoutAndPaint(function() { | 2 runAfterLayoutAndPaint(function() { |
3 selectRange(startElement, startIndex, endElement, endIndex); | 3 selectRange(startElement, startIndex, endElement, endIndex); |
4 }, true); | 4 }, true); |
5 } | 5 } |
6 | 6 |
7 function selectRange(startElement, startIndex, endElement, endIndex) { | 7 function selectRange(startElement, startIndex, endElement, endIndex) { |
8 if (window.internals) | |
9 window.internals.setSelectionPaintingWithoutSelectionGapsEnabled(true); | |
10 var range = document.createRange(); | 8 var range = document.createRange(); |
11 range.setStart(startElement, startIndex); | 9 range.setStart(startElement, startIndex); |
12 range.setEnd(endElement, endIndex); | 10 range.setEnd(endElement, endIndex); |
13 window.getSelection().addRange(range); | 11 window.getSelection().addRange(range); |
14 } | 12 } |
OLD | NEW |