(Fix #215) better error printing in editor & extension, adds mapping for editor

extension/content_script.js

Index: extension/content_script.js
diff --git a/extension/content_script.js b/extension/content_script.js
index d3158545d8ad432bc568c9a64aed852fecb25e46..886bb82fb9108bc104f75a015a6e6196806b2338 100644
--- a/extension/content_script.js
+++ b/extension/content_script.js
@@ -61,6 +61,11 @@ function onRequestParse() {
           }
         }
       }, 100);
+    } else if (msg.type == 'MESSAGES') {
+      var messages = msg.messages;
+      for (var i = 0; i < messages.length; i++) {
+        window.console.log(messages[i]);

[Jennifer Messerly, 2012/12/06 04:00:08]

console.warn, console.error?

[Siggi Cherem (dart-lang), 2012/12/06 18:46:42]

ohhh... didn't know we had those :)

Done.

+      }
     }
   })