Arduino IDE 长期用户、VS Code + Arduino 扩展一日用户：
当我第一次加载草图并执行“Arduino：Initialize”时，草图的名称存储在 arduino.json 设置文件中，例如“sketch”：“esp32_test/esp32_test.ino”。当我按下“验证”按钮时，它编译正常。
但是，如果我关闭该草图并打开另一个草图，然后执行“Arduino：初始化”，则 arduino.json 文件中的第一个文件不会被替换。第一个仍然留在那里。我收到一条消息：“Arduinio.json 已生成。” 因此，当我尝试编译新文件时，会编译旧文件。
我能够编译不同文件的唯一方法是手动编辑 arduino.json 设置文件以删除 "sketch": "esp32_test/esp32_test.ino" 条目。然后，只有那时 .json 文件才会更新，以允许我编译新文件。
当我选择/编辑文件并点击“验证”按钮时，这种情况不应该自动发生吗？也许是我的安装有问题...？
（忘了提及：OSX 10.14.6 上的 VS Code + Arduino）