diff --git a/pxtarget.json b/pxtarget.json index 21c25efd..a72b8e92 100644 --- a/pxtarget.json +++ b/pxtarget.json @@ -157,5 +157,5 @@ "editor.background": "#ecf6ff" } }, - "ignoreDocsErrors": true + "ignoreDocsErrors": false }