Index: tools/dart2js/sourceMapViewer/web/display.html |
diff --git a/tools/dart2js/sourceMapViewer/web/display.html b/tools/dart2js/sourceMapViewer/web/display.html |
index f6d675869a0ca583b8cdf699a1870b235a728ce8..834cf64f89e8ee05f0bfaf9ba24a6cf545234900 100644 |
--- a/tools/dart2js/sourceMapViewer/web/display.html |
+++ b/tools/dart2js/sourceMapViewer/web/display.html |
@@ -38,22 +38,22 @@ |
<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> |
+ <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:scroll;width:550px;height:50px;"></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:scroll;width:250px;height:50px;font-size:12pt;position:absolute;"></div> |
+ <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:scroll;width:550px;height:50px;"></div> |
+ <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:scroll;width:550px;height:50px;"></div> |
+ <div id="original_map" style="border: 2px solid;overflow:auto;width:550px;height:50px;"></div> |
</td> |
</tr> |
</table></div> |