OLD | NEW |
1 <html> | 1 <html> |
2 <head> | 2 <head> |
3 <style> | 3 <style> |
4 .editing { | 4 .editing { |
5 border: 2px solid red; | 5 border: 2px solid red; |
6 font-size: 24px; | 6 font-size: 24px; |
7 } | 7 } |
8 .explanation { | 8 .explanation { |
9 border: 2px solid blue; | 9 border: 2px solid blue; |
10 padding: 12px; | 10 padding: 12px; |
(...skipping 15 matching lines...) Expand all Loading... |
26 foo | 26 foo |
27 <div style="color: rgb(255, 0, 0);" > | 27 <div style="color: rgb(255, 0, 0);" > |
28 <div>bar</div> | 28 <div>bar</div> |
29 </div> | 29 </div> |
30 </div> | 30 </div> |
31 </div> | 31 </div> |
32 <script> | 32 <script> |
33 | 33 |
34 Markup.description(document.getElementById('description').textContent); | 34 Markup.description(document.getElementById('description').textContent); |
35 | 35 |
36 setSelectionCommand(document.getElementById("test"),0,document.getElementById("t
est"),5); | 36 setSelectionCommand(document.getElementById("test"),0,document.getElementById("t
est"),3); |
37 copyCommand(); | 37 copyCommand(); |
38 Markup.dump('root', 'After copy'); | 38 Markup.dump('root', 'After copy'); |
39 | 39 |
40 pasteCommand(); | 40 pasteCommand(); |
41 Markup.dump('root', 'After paste'); | 41 Markup.dump('root', 'After paste'); |
42 | 42 |
43 </script> | 43 </script> |
44 </body> | 44 </body> |
45 </html> | 45 </html> |
OLD | NEW |