| Index: tools/dart2js/sourceMapViewer/web/display.html
|
| diff --git a/tools/dart2js/sourceMapViewer/web/display.html b/tools/dart2js/sourceMapViewer/web/display.html
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..f6d675869a0ca583b8cdf699a1870b235a728ce8
|
| --- /dev/null
|
| +++ b/tools/dart2js/sourceMapViewer/web/display.html
|
| @@ -0,0 +1,63 @@
|
| +<!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:scroll;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:scroll;width:550px;height:50px;"></div>
|
| + </td><td>
|
| + <div id="current_span" style="background-color: #99ff99;visibility:hidden;border:green 1px dashed;overflow:scroll;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:scroll;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:scroll;width:550px;height:50px;"></div>
|
| + </td>
|
| + </tr>
|
| + </table></div>
|
| + <script type="application/dart" src="display.dart"></script>
|
| + <script src="packages/browser/dart.js"></script>
|
| + </body>
|
| +</html>
|
|
|
Chromium Code Reviews
Issue 280513002:
Add tool for viewing source maps. (Closed)
Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart