Using numeric name in settings properties does not format in Settings UI #72483
Description
- VSCode Version: 1.33.1
- OS Version: Windows_NT x64 10.0.17763, Ubuntu 18.04.02, Gnome 3.28.2
Steps to Reproduce:
See attached pic. When using leading numeric values in the properties id the field is not properly formatted.
From my package.json:
"atari-dev-studio.compiler.7800basic.args": {
"type": "string",
"default": "",
"description": "Specify (optional) command line arguments.",
"scope": "resource"
}