Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Delete variables from the database #69

Open
JamesWrigley opened this issue Jul 12, 2023 · 2 comments · Fixed by #180
Open

Delete variables from the database #69

JamesWrigley opened this issue Jul 12, 2023 · 2 comments · Fixed by #180
Assignees
Labels
enhancement New feature or request
Milestone

Comments

@JamesWrigley
Copy link
Member

There is currently no way to delete variables from the database, which is very annoying if you've e.g. renamed a variable and want to delete the old one.

@JamesWrigley
Copy link
Member Author

Let's keep this open until I fix the multiple-GUIs issue: #180 (comment)

@JamesWrigley JamesWrigley reopened this Jan 31, 2024
@CammilleCC
Copy link

Changed the status as there is a pending issue

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants