Skip to content
This repository has been archived by the owner on Jun 7, 2022. It is now read-only.

Proper file editing support #100

Closed
sophiajt opened this issue Nov 6, 2018 · 1 comment
Closed

Proper file editing support #100

sophiajt opened this issue Nov 6, 2018 · 1 comment

Comments

@sophiajt
Copy link
Collaborator

sophiajt commented Nov 6, 2018

Currently editing a file is a gross hack that leaves old copies of the file in the database. It'd be better, and more memory conscious, to edit the file in place. Also, if we can, this might let us reuse old structures that are still valid.
@sophiajt
Copy link
Collaborator Author

Fixed by #164

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@sophiajt