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.

Sign up for GitHub

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

Ignore the "Project-level session is not set" error when closing project #218

Merged

MrCoder merged 1 commit into master from fix-project-closing-error

Jan 13, 2024

Collaborator

whimet commented Jan 12, 2024

No description provided.


Ignore the "Project-level session is not set" error when closing project

672f795

whimet requested a review from MrCoder

January 12, 2024 23:02

Collaborator Author

whimet commented Jan 12, 2024

How to verify:

Open a project
Create a .zen scratch file
Close the project
(before the change) An error icon appears (shutdown the IDE and repeat the process can always reproduce)

MrCoder merged commit d7f1f99 into master

10 checks passed

MrCoder deleted the fix-project-closing-error branch

January 13, 2024 01:10

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment