Serial (#554)

editor/extension.ts

@@ -332,11 +332,12 @@ namespace pxt.editor {
                     if (d.reportError) {
                         d.reportError(Util.lf("Please connect your device."))
                     } else {
-                        console.error(e)
+                        pxt.reportException(e)
                     }
                 } else {
-                    saveHexAsync()
-                }           
+                    return saveHexAsync()
+                }  
+                return Promise.resolve()      
             })
     }
 

pxtarget.json

@@ -203,6 +203,11 @@
     "serial": {
         "nameFilter": "^mbed Serial Port",
         "log": true,
+        "useEditor": true,
+        "editorTheme": {
+            "graphBackground": "#d9d9d9",
+            "lineColors": ["#6633cc", "#3891A6", "#3454D1", "#EF767A", "#F46197", "#107C10"]
+        },
         "chromeExtension": "hjcflblhjoglmjjkecamiegdigfkgeni",
         "vendorId": "0x0d28",
         "productId": "0x0204",

theme/site/globals/site.variables

@@ -67,3 +67,10 @@
 
 @blocklyToolboxColor: rgba(0, 0, 0, 0.05);
 @trashIconColor: @primaryColor;
+
+/*-------------------
+   Serial
+--------------------*/
+
+@serialTextColor: black;
+@serialGraphBackground: #d9d9d9;