correcting white-space: Firefox does not like it

dyoo · Mar 22, 2012 · ce7a998 · ce7a998
1 parent 4843664
commit ce7a998
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/examples/google-maps/test-maps.rkt b/examples/google-maps/test-maps.rkt
@@ -21,7 +21,6 @@
 
 
 
-
 (xexp->dom '(h1 "Google Maps demonstration"))
 
 (big-bang "???"

diff --git a/js-assembler/runtime-src/baselib-format.js b/js-assembler/runtime-src/baselib-format.js
@@ -389,7 +389,7 @@
 
         if (typeof(x) === 'string') {
             var wrapper = document.createElement("span");
-            wrapper.style["white-space"] = "pre";
+            wrapper.style.whiteSpace = "pre";
             if (params.getMode() === 'write' || params.getMode() === 'print' || params.getMode() === 'constructor') {
                 node = document.createTextNode(toWrittenString(x));
             } else {