search

arduino / lab-micropython-editor

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

Rename files #99

Closed murilopolese closed 5 months ago

murilopolese commented 5 months ago

Implements the renaming UI and functionality as well as alerts in cases of overwrites.