diff --git a/pxtarget.json b/pxtarget.json index bf154e69..3b4649dc 100644 --- a/pxtarget.json +++ b/pxtarget.json @@ -201,7 +201,7 @@ "serviceId": "microbit" }, "serial": { - "nameFilter": "^mbed Serial Port", + "nameFilter": "^(mbed Serial Port|DAPLink CMSIS-DAP)", "log": true, "useEditor": true, "editorTheme": { @@ -363,4 +363,4 @@ "editor.background": "#ecf0f1" } } -} \ No newline at end of file +}