| 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 |