I appreciate the integration uPyCraft has with the ESP32 for loading firmware and running programs.
However the editor functions are less developed.
If I use an external editor, how can uPyCraft re-load the source from disk when changed externally?
I thought the "Reflush directory" on the file menu might mean "re-read directory and re-load changed files as needed". However it does not seem to do that.
The only way I have found to cause uPyCraft to update the source file is to close it and open it again. Is there a better way?