danielbinder / LogiVis

A teaching aid for concepts and algorithms in logic
MIT License
2 stars 0 forks source link

Detect visualisation folder when frontend extraction is called #46

Closed danielbinder closed 7 months ago

danielbinder commented 8 months ago

If the frontend is extracted and a visualisation folder is nearby, it deletes it on close. This should be checked, and if the FrontendExtractor finds such a folder, it should throw an Error.

danielbinder commented 7 months ago

Unnecessary - see: https://github.com/danielbinder/LogiVis/pull/50