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

Fix stored value for default_url #95

Merged
merged 1 commit into from
Feb 28, 2023
Merged

Fix stored value for default_url #95

merged 1 commit into from
Feb 28, 2023

Conversation

t20100
Copy link
Member

@t20100 t20100 commented Feb 28, 2023

#94 introduced an issue regarding what is stored in local storage: It used to be true/false for default_url and with #94 it became /lab//tree and was not recovered well on reload since a boolean was expected....

This PR fixes by setting the id of the JLab checkbox back to default_url.

@t20100 t20100 added this to the Next release milestone Feb 28, 2023
@t20100 t20100 merged commit 418c053 into main Feb 28, 2023
@t20100 t20100 deleted the fix-default_url-store branch February 28, 2023 16:16
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.

2 participants