| OLD | NEW |
| 1 <html> | 1 <html> |
| 2 <head> | 2 <head> |
| 3 <script src=../../editing/editing.js language="JavaScript" type="text/JavaScript
" ></script> | 3 <script src=../../editing/editing.js language="JavaScript" type="text/JavaScript
" ></script> |
| 4 <script src="../js/resources/js-test-pre.js"></script> | 4 <script src="../../resources/js-test.js"></script> |
| 5 </head> | 5 </head> |
| 6 <body> | 6 <body> |
| 7 <p id="description"></p> | 7 <p id="description"></p> |
| 8 <div id="console"></div> | 8 <div id="console"></div> |
| 9 | 9 |
| 10 <br></br> | 10 <br></br> |
| 11 <div contenteditable id="source">Text to copy-paste-undo.</div> | 11 <div contenteditable id="source">Text to copy-paste-undo.</div> |
| 12 <input type="text" id="destination"></input> | 12 <input type="text" id="destination"></input> |
| 13 | 13 |
| 14 <script> | 14 <script> |
| (...skipping 17 matching lines...) Expand all Loading... |
| 32 | 32 |
| 33 undoCommand(); | 33 undoCommand(); |
| 34 shouldBeEqualToString('document.getElementById("destination").value', ''); | 34 shouldBeEqualToString('document.getElementById("destination").value', ''); |
| 35 shouldBeTrue('document.getElementById("source").clientHeight == initialClientHei
ght'); | 35 shouldBeTrue('document.getElementById("source").clientHeight == initialClientHei
ght'); |
| 36 shouldBeTrue('window.getComputedStyle(document.getElementById("source")).height
== initialClientComputedHeight'); | 36 shouldBeTrue('window.getComputedStyle(document.getElementById("source")).height
== initialClientComputedHeight'); |
| 37 | 37 |
| 38 | 38 |
| 39 </script> | 39 </script> |
| 40 </body> | 40 </body> |
| 41 </html> | 41 </html> |
| OLD | NEW |