| <!DOCTYPE html> |
| <html> |
| <head> |
| <meta charset="utf-8"> |
| <title>Display</title> |
| </head> |
| <style> |
| span.range0 {color:green;background-color:#DA81F5} |
| span.range1 {color:green;background-color:#81F7D8} |
| span.range2 {color:green;background-color:#BEF781} |
| span.range3 {color:green;background-color:#F79F81} |
| span.marker { |
| color:green; |
| background-color:red; |
| white-space: pre |
| } |
| #group{ |
| width:100%; |
| height:100%; |
| } |
| span.source pre { |
| white-space: pre; |
| font-family: monospace |
| } |
| div#generated_output div{ |
| white-space: pre; |
| font-family: monospace |
| } |
| div#selected_source div{ |
| white-space: pre; |
| font-family: monospace |
| } |
| </style> |
| <body> |
| <h1>Display</h1> |
| <div id="group"> |
| <table style="width:100%;"> |
| <tr><td> |
| <h2>Generated Output</h2> |
| <div id="target_filename"></div> |
| <div id="generated_output" style="border:2px solid;overflow:auto;width:550px;height:50px;"></div> |
| </td><td> |
| <h2>Selected Source Code</h2> |
| <div id="source_filename"></div> |
| <div id="selected_source" style="border:2px solid;overflow:auto;width:550px;height:50px;"></div> |
| </td><td> |
| <div id="current_span" style="background-color: #99ff99;visibility:hidden;border:green 1px dashed;overflow:auto;width:250px;height:50px;font-size:12pt;position:absolute;"></div> |
| </td> |
| <tr><td> |
| <h2>Decoded Map</h2> |
| <small><i>(<generated column>,<src url id>,<src line>,<src col>)</i></small> |
| <div id="decoded_map" style="border: 2px solid;overflow:auto;width:550px;height:50px;"></div> |
| </td><td> |
| <h2>Original Map</h2> |
| <small><i>The encoded mapping data.</i></small> |
| <div id="original_map" style="border: 2px solid;overflow:auto;width:550px;height:50px;"></div> |
| </td> |
| </tr> |
| </table></div> |
| <script defer src="display.dart.js"></script> |
| </body> |
| </html> |