| OLD | NEW |
|---|
| (Empty) | |
| 1 <!DOCTYPE html> |
| 2 <html> |
| 3 <head> |
| 4 <meta charset="utf-8"> |
| 5 <title>Display</title> |
| 6 </head> |
| 7 <style> |
| 8 span.range0 {color:green;background-color:#DA81F5} |
| 9 span.range1 {color:green;background-color:#81F7D8} |
| 10 span.range2 {color:green;background-color:#BEF781} |
| 11 span.range3 {color:green;background-color:#F79F81} |
| 12 span.marker { |
| 13 color:green; |
| 14 background-color:red; |
| 15 white-space: pre |
| 16 } |
| 17 #group{ |
| 18 width:100%; |
| 19 height:100%; |
| 20 } |
| 21 span.source pre { |
| 22 white-space: pre; |
| 23 font-family: monospace |
| 24 } |
| 25 div#generated_output div{ |
| 26 white-space: pre; |
| 27 font-family: monospace |
| 28 } |
| 29 div#selected_source div{ |
| 30 white-space: pre; |
| 31 font-family: monospace |
| 32 } |
| 33 </style> |
| 34 <body> |
| 35 <h1>Display</h1> |
| 36 <div id="group"> |
| 37 <table style="width:100%;"> |
| 38 <tr><td> |
| 39 <h2>Generated Output</h2> |
| 40 <div id="target_filename"></div> |
| 41 <div id="generated_output" style="border:2px solid;overflow:scroll;width:5
50px;height:50px;"></div> |
| 42 </td><td> |
| 43 <h2>Selected Source Code</h2> |
| 44 <div id="source_filename"></div> |
| 45 <div id="selected_source" style="border:2px solid;overflow:scroll;width:55
0px;height:50px;"></div> |
| 46 </td><td> |
| 47 <div id="current_span" style="background-color: #99ff99;visibility:hidden;
border:green 1px dashed;overflow:scroll;width:250px;height:50px;font-size:12pt;p
osition:absolute;"></div> |
| 48 </td> |
| 49 <tr><td> |
| 50 <h2>Decoded Map</h2> |
| 51 <small><i>(<generated column>,<src url id>,<src line>,<
;src col>)</i></small> |
| 52 <div id="decoded_map" style="border: 2px solid;overflow:scroll;width:550px;
height:50px;"></div> |
| 53 </td><td> |
| 54 <h2>Original Map</h2> |
| 55 <small><i>The encoded mapping data.</i></small> |
| 56 <div id="original_map" style="border: 2px solid;overflow:scroll;width:550px
;height:50px;"></div> |
| 57 </td> |
| 58 </tr> |
| 59 </table></div> |
| 60 <script type="application/dart" src="display.dart"></script> |
| 61 <script src="packages/browser/dart.js"></script> |
| 62 </body> |
| 63 </html> |
| OLD | NEW |
|---|
Chromium Code Reviews
Issue 280513002:
Add tool for viewing source maps. (Closed)
Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart