-
Notifications
You must be signed in to change notification settings - Fork 58
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
upd: error notification gui #809
Conversation
Pro-tip: You don't need to reopen the PR if you make changes, the PR automatically includes any changes to the underlying branch. |
fixes #810 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
fixes #810
Please edit this into the PR post. Github doesn't pick up these hints from regular comments.
…on window. Seems relevant for #809
It seems that window closing was kind of broken, so may need to rebase to get my last commit from master. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Everything works fine now, just two more small things and then we can merge this.
Thanks for taking the time to make this work for other wrong address patterns as well.
this resolves #815 as well then...
Also again please put this in the PR post, so github automatically closes the issue on merge.
Fixes #810
Update: Error Notification GUI added.
Fixes #815
Fix: Revert global state on receiving error...