| 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>
|
|
|