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