| OLD | NEW |
| 1 <!doctype html> | 1 <!doctype html> |
| 2 <html> | 2 <html> |
| 3 <head> | 3 <head> |
| 4 <style> | 4 <style> |
| 5 .testDiv { | 5 .testDiv { |
| 6 width: 200px; | 6 width: 200px; |
| 7 height: 20px; | 7 height: 20px; |
| 8 border: 1px solid black; | 8 border: 1px solid black; |
| 9 white-space: nowrap; | 9 white-space: nowrap; |
| 10 overflow: hidden; | 10 overflow: hidden; |
| (...skipping 63 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 74 const range = document.createRange(); | 74 const range = document.createRange(); |
| 75 range.setStart(text, markerRange[0]); | 75 range.setStart(text, markerRange[0]); |
| 76 range.setEnd(text, markerRange[0] + markerRange[1]); | 76 range.setEnd(text, markerRange[0] + markerRange[1]); |
| 77 if (window.internals) | 77 if (window.internals) |
| 78 internals.setMarker(document, range, 'grammar'); | 78 internals.setMarker(document, range, 'grammar'); |
| 79 }); | 79 }); |
| 80 }); | 80 }); |
| 81 </script> | 81 </script> |
| 82 </body> | 82 </body> |
| 83 </html> | 83 </html> |
| OLD | NEW |