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 |