Closed siliconwitch closed 1 year ago
I renamed a saved Python file to main.py via the right click context menu. It updated correctly on the device, but the device-files.json didn’t update.
main.py
device-files.json
I had to update the file manually for it to work again.
What if someone wants to rename only device file not local? like delete. do we ask with a prompt?
I renamed a saved Python file to
main.py
via the right click context menu. It updated correctly on the device, but thedevice-files.json
didn’t update.I had to update the file manually for it to work again.