OLD | NEW |
| (Empty) |
1 <html> | |
2 <head> | |
3 | |
4 <style> | |
5 .editing { | |
6 border: 2px solid red; | |
7 padding: 12px; | |
8 font-size: 24px; | |
9 width: 599px; | |
10 } | |
11 </style> | |
12 <script src=../editing.js language="JavaScript" type="text/JavaScript" ></script
> | |
13 | |
14 <script> | |
15 | |
16 function editingTest() { | |
17 for (i = 0; i < 23; i++) { | |
18 moveSelectionForwardByCharacterCommand(); | |
19 } | |
20 deleteCommand(); | |
21 | |
22 // This should not be necessary, but due to the following bug, the caret | |
23 // does not repaint in the proper position. Changing the size of the DIV | |
24 // is a workaround. The bug: | |
25 // <rdar://problem/3608445>: Garbage characters rendered after doing delete.
Resize makes them go away. | |
26 changeRootSize(); | |
27 } | |
28 | |
29 </script> | |
30 | |
31 <title>Editing Test</title> | |
32 </head> | |
33 <body> | |
34 <div contenteditable id="root" class="editing"> | |
35 <span id="test">Fourscore | |
36 and seven <br><br><br>years ago</span> | |
37 </div> | |
38 | |
39 <script> | |
40 runEditingTest(); | |
41 </script> | |
42 | |
43 </body> | |
44 </html> | |
OLD | NEW |