arduino / lab-micropython-editor

Arduino Lab for MicroPython is an Integrated Development Environment (IDE) for MicroPython.
GNU Affero General Public License v3.0
222 stars 28 forks source link

Bugfix/saving #110

Closed murilopolese closed 6 months ago

murilopolese commented 6 months ago

I forgot to call getPrompt before calling fileExists.