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

Don't error on missing user dictionary #1495

Closed
vkbo opened this issue Jul 30, 2023 · 0 comments · Fixed by #1504
Closed

Don't error on missing user dictionary #1495

vkbo opened this issue Jul 30, 2023 · 0 comments · Fixed by #1504
Assignees
Labels
minor issue Issue: Mostly harmless next release Note: Features planned for next release project management Component: Project or Project Tree

Comments

@vkbo
Copy link
Owner

vkbo commented Jul 30, 2023

There is an error output if the user dictionary is missing in the project. This should not be the case. A missing dictionary should just be silently ignored.

@vkbo vkbo added minor issue Issue: Mostly harmless project management Component: Project or Project Tree next release Note: Features planned for next release labels Jul 30, 2023
@vkbo vkbo added this to the Release 2.1 RC 1 milestone Jul 30, 2023
@vkbo vkbo self-assigned this Jul 30, 2023
@vkbo vkbo linked a pull request Aug 23, 2023 that will close this issue
6 tasks
@vkbo vkbo closed this as completed Aug 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
minor issue Issue: Mostly harmless next release Note: Features planned for next release project management Component: Project or Project Tree
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant