allow for numbers in filename filter

2018-09-19 11:27:30 -07:00 · 2018-09-19 11:27:30 -07:00 · 60ea0f0cd5
commit 60ea0f0cd5
parent f69a0d5289
1 changed files with 1 additions and 1 deletions
--- a/pxtarget.json
+++ b/pxtarget.json
@ -177,7 +177,7 @@
        "monacoColors": {
            "editor.background": "#f9f9f9"
        },
-        "fileNameExclusiveFilter": "[^a-zA-Z]"
+        "fileNameExclusiveFilter": "[^a-zA-Z0-9]"
    },
    "ignoreDocsErrors": true
 }