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

Improve Bookmarks Handling #441

Merged
merged 1 commit into from
Jan 12, 2023
Merged

Improve Bookmarks Handling #441

merged 1 commit into from
Jan 12, 2023

Conversation

ricoberger
Copy link
Member

Until now bookmarks for a cluser were not deleted, when the corresponding cluster was deleted, which broke the app when a user tried to open such a bookmark. This is now fixed by deleting all bookmarks with the cluster id of the deleted cluster.

We now show the name of the cluster instead of the cluster id in the bookmarks preview and the bookmarks list.

Until now bookmarks for a cluser were not deleted, when the
corresponding cluster was deleted, which broke the app when a user tried
to open such a bookmark. This is now fixed by deleting all bookmarks
with the cluster id of the deleted cluster.

We now show the name of the cluster instead of the cluster id in the
bookmarks preview and the bookmarks list.
@ricoberger ricoberger merged commit 9a570c1 into main Jan 12, 2023
@ricoberger ricoberger deleted the improve-bookmarks-handling branch January 12, 2023 22:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant