Added extension renaming with confirmation

processing / p5.js-web-editor

The p5.js Editor is a website for creating p5.js sketches, with a focus on making coding accessible and inclusive for artists, designers, educators, beginners, and anyone else! You can create, share, or remix p5.js sketches without needing to download or configure anything.

https://editor.p5js.org

GNU Lesser General Public License v2.1

1.3k stars 1.26k forks source link

Added extension renaming with confirmation #3028

Closed Keshav-0907 closed 1 month ago

Keshav-0907 commented 4 months ago

Fixes #3014

Changes:

Added functionality to rename file extensions with a confirmation from user

https://github.com/processing/p5.js-web-editor/assets/91189139/4065e775-d17c-48bf-aca2-79ea63211809

I have verified that this pull request:

[x] has no linting errors (npm run lint)
[x] has no test errors (npm run test)
[x] is from a uniquely-named feature branch and is up to date with the develop branch.
[x] is descriptively named and links to an issue number, i.e. Fixes #3014