OLD | NEW |
1 <p>This tests the listing tag. It's an obsolete synonym for the pre tag.</p> | 1 <p>This tests the listing tag. It's an obsolete synonym for the pre tag.</p> |
2 | 2 |
3 <div>Text just before the listing.</div> | 3 <div>Text just before the listing.</div> |
4 <listing id="mr. listing" width=100> | 4 <listing id="mr. listing" width=100> |
5 This text is inside a listing tag. | 5 This text is inside a listing tag. |
6 It acts exactly like the pre tag, so the text should be monospaced and not have
any line breaks. | 6 It acts exactly like the pre tag, so the text should be monospaced and not have
any line breaks. |
7 Also, it eats the very first newline inside the listing, so there should not be
a blank line above. | 7 Also, it eats the very first newline inside the listing, so there should not be
a blank line above. |
8 </listing> | 8 </listing> |
9 | 9 |
10 <p>The listing tag has a width in it. To test the JavaScript binding, this page
gets the width, here: <a id="width place"></a></p> | 10 <p>The listing tag has a width in it. To test the JavaScript binding, this page
gets the width, here: <a id="width place"></a></p> |
11 | 11 |
12 <script> | 12 <script> |
13 var listing = document.getElementById("mr. listing"); | 13 var listing = document.getElementById("mr. listing"); |
14 var widthPlace = document.getElementById("width place"); | 14 var widthPlace = document.getElementById("width place"); |
15 widthPlace.appendChild(document.createTextNode(listing.width)); | 15 widthPlace.appendChild(document.createTextNode(listing.width)); |
16 </script> | 16 </script> |
OLD | NEW |