manim_editor icon indicating copy to clipboard operation
manim_editor copied to clipboard

Add Project Deletion Button

Open Arkit-Ray opened this issue 3 years ago • 4 comments

Hello everyone! I was wondering how I could delete a project because there is no delete button on the Project selection page or when you open the project there is no button\option to delete the file

Arkit-Ray avatar Jan 26 '22 15:01 Arkit-Ray

Everything that belongs to a project is contained in a directory with the name as the project (located in the current working directory—where you launched the Manim Editor). So you can simply delete that folder and everything the Manim Editor put in the project is cleaned up.

But a deletion button would still be a nice feature to have.

christopher-besch avatar Jan 26 '22 15:01 christopher-besch

okay thank you

Arkit-Ray avatar Jan 26 '22 15:01 Arkit-Ray

We can leave this open until someone implements a deletion button.

christopher-besch avatar Jan 26 '22 16:01 christopher-besch

okay, sure!

Arkit-Ray avatar Jan 26 '22 17:01 Arkit-Ray