OLD | NEW |
1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
2 <html> | 2 <html> |
3 <head> | 3 <head> |
4 <meta charset="utf-8"> | 4 <meta charset="utf-8"> |
5 <title>Display</title> | 5 <title>Display</title> |
6 </head> | 6 </head> |
7 <style> | 7 <style> |
8 span.range0 {color:green;background-color:#DA81F5} | 8 span.range0 {color:green;background-color:#DA81F5} |
9 span.range1 {color:green;background-color:#81F7D8} | 9 span.range1 {color:green;background-color:#81F7D8} |
10 span.range2 {color:green;background-color:#BEF781} | 10 span.range2 {color:green;background-color:#BEF781} |
(...skipping 20 matching lines...) Expand all Loading... |
31 font-family: monospace | 31 font-family: monospace |
32 } | 32 } |
33 </style> | 33 </style> |
34 <body> | 34 <body> |
35 <h1>Display</h1> | 35 <h1>Display</h1> |
36 <div id="group"> | 36 <div id="group"> |
37 <table style="width:100%;"> | 37 <table style="width:100%;"> |
38 <tr><td> | 38 <tr><td> |
39 <h2>Generated Output</h2> | 39 <h2>Generated Output</h2> |
40 <div id="target_filename"></div> | 40 <div id="target_filename"></div> |
41 <div id="generated_output" style="border:2px solid;overflow:scroll;width:5
50px;height:50px;"></div> | 41 <div id="generated_output" style="border:2px solid;overflow:auto;width:550
px;height:50px;"></div> |
42 </td><td> | 42 </td><td> |
43 <h2>Selected Source Code</h2> | 43 <h2>Selected Source Code</h2> |
44 <div id="source_filename"></div> | 44 <div id="source_filename"></div> |
45 <div id="selected_source" style="border:2px solid;overflow:scroll;width:55
0px;height:50px;"></div> | 45 <div id="selected_source" style="border:2px solid;overflow:auto;width:550p
x;height:50px;"></div> |
46 </td><td> | 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> | 47 <div id="current_span" style="background-color: #99ff99;visibility:hidden;
border:green 1px dashed;overflow:auto;width:250px;height:50px;font-size:12pt;pos
ition:absolute;"></div> |
48 </td> | 48 </td> |
49 <tr><td> | 49 <tr><td> |
50 <h2>Decoded Map</h2> | 50 <h2>Decoded Map</h2> |
51 <small><i>(<generated column>,<src url id>,<src line>,<
;src col>)</i></small> | 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> | 52 <div id="decoded_map" style="border: 2px solid;overflow:auto;width:550px;he
ight:50px;"></div> |
53 </td><td> | 53 </td><td> |
54 <h2>Original Map</h2> | 54 <h2>Original Map</h2> |
55 <small><i>The encoded mapping data.</i></small> | 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> | 56 <div id="original_map" style="border: 2px solid;overflow:auto;width:550px;h
eight:50px;"></div> |
57 </td> | 57 </td> |
58 </tr> | 58 </tr> |
59 </table></div> | 59 </table></div> |
60 <script type="application/dart" src="display.dart"></script> | 60 <script type="application/dart" src="display.dart"></script> |
61 <script src="packages/browser/dart.js"></script> | 61 <script src="packages/browser/dart.js"></script> |
62 </body> | 62 </body> |
63 </html> | 63 </html> |
OLD | NEW |