Parent Directory
| 
Revision Log
| 
Patch
| revision 1.1 by wakaba, Sun Apr 20 06:07:24 2008 UTC | revision 1.6 by wakaba, Fri Apr 25 13:42:51 2008 UTC | |
|---|---|---|
| # | Line 13 | Line 13 |
| 13 | output { | output { |
| 14 | display: block; | display: block; |
| 15 | font-family: monospace; | font-family: monospace; |
| 16 | white-space: pre; | white-space: -moz-pre-wrap; |
| 17 | white-space: pre-wrap; | |
| 18 | } | } |
| 19 | </style> | </style> |
| 20 | <script> | <script> |
| 21 | function update () { | function update () { |
| 22 | document.logElement.textContent = ''; | document.logElement.textContent = ''; |
| 23 | var p = new Parser (); | var p = new Parser (new InputStream (document.sourceElement.value)); |
| 24 | p.parse (new InputStream (document.sourceElement.value)); | var doc = p.doc; |
| 25 | log (dumpTree (p.doc, '')); | p.parse (); |
| 26 | log (dumpTree (doc, '')); | |
| 27 | } // update | } // update |
| 28 |