Update SourceMapViewer to work on Windows.

tools/dart2js/sourceMapViewer/web/display.html

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>

[sigurdm, 2014/06/06 08:59:10]

One more thing - all this style-info really should be in a seperate css file, or
an inline style-sheet

[Johnni Winther, 2014/06/10 09:23:26]

Will do in a later CL.

+      <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>(&lt;generated column&gt;,&lt;src url id&gt;,&lt;src line&gt;,&lt;src col&gt;)</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>