johnniwinther@google.com
99ebbd448c
BUG= R=sigurdm@google.com Review URL: https://codereview.chromium.org//318053002 git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@37169 260f80e4-7a28-3924-810f-c04153c831b5
63 lines
2.0 KiB
HTML
63 lines
2.0 KiB
HTML
<!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 type="application/dart" src="display.dart"></script>
|
|
<script src="packages/browser/dart.js"></script>
|
|
</body>
|
|
</html> |