Fix serial on devices that don't have the mbed serial driver installed (#583)

This commit is contained in:
Sam El-Husseini 2017-12-01 15:11:44 -08:00 committed by GitHub
parent 40101e60bd
commit c24f61df36
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -201,7 +201,7 @@
"serviceId": "microbit" "serviceId": "microbit"
}, },
"serial": { "serial": {
"nameFilter": "^mbed Serial Port", "nameFilter": "^(mbed Serial Port|DAPLink CMSIS-DAP)",
"log": true, "log": true,
"useEditor": true, "useEditor": true,
"editorTheme": { "editorTheme": {
@ -363,4 +363,4 @@
"editor.background": "#ecf0f1" "editor.background": "#ecf0f1"
} }
} }
} }