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 deleteCommand(); | |
22 deleteCommand(); | |
23 | |
24 // This should not be necessary, but due to the following bug, the caret | |
25 // does not repaint in the proper position. Changing the size of the DIV | |
26 // is a workaround. The bug: | |
27 // <rdar://problem/3608445>: Garbage characters rendered after doing delete.
Resize makes them go away. | |
28 changeRootSize(); | |
29 } | |
30 | |
31 </script> | |
32 | |
33 <title>Editing Test</title> | |
34 </head> | |
35 <body> | |
36 <div contenteditable id="root" class="editing"> | |
37 <span id="test">Fourscore | |
38 and seven <br><br><br>years ago</span> | |
39 </div> | |
40 | |
41 <script> | |
42 runEditingTest(); | |
43 </script> | |
44 | |
45 </body> | |
46 </html> | |
OLD | NEW |