<html> 
<head>

<style>
.editing { 
    border: 2px solid red; 
    padding: 12px; 
    font-size: 24px; 
}
</style>
<script src=../editing.js language="JavaScript" type="text/JavaScript" ></script>

<script>

function editingTest() {
    for (i = 0; i < 22; i++) {
        moveSelectionForwardByCharacterCommand();
    }
    deleteCommand();
    
    // This should not be necessary, but due to the following bug, the caret
    // does not repaint in the proper position. Changing the size of the DIV
    // is a workaround. The bug:
    // <rdar://problem/3608445>: Garbage characters rendered after doing delete. Resize makes them go away.
    changeRootSize();
    
}

</script>

<title>Editing Test</title> 
</head> 
<body>
<div contenteditable id="root" class="editing">
<span id="test">Fourscore 
and   seven <br><br><br>years ago</span>
</div>

<script>
runEditingTest();
</script>

</body>
</html>
