-
Notifications
You must be signed in to change notification settings - Fork 2.3k
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
[gui] Detailed error message when GGUI is not available #5164
[gui] Detailed error message when GGUI is not available #5164
Conversation
✅ Deploy Preview for docsite-preview ready!
To edit notification comments on pull requests, go to your Netlify site settings. |
80710bf
to
56dc9fa
Compare
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.
Nice work!
f6c1140
to
7a20477
Compare
ab6e943
to
404866b
Compare
/rebase |
404866b
to
0d701c4
Compare
PR title check fails at unrecognized tag, seems like we don't have |
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.
Thanks, LGTM!
Have a suggestion regarding to the exception messages: Maybe later we can add a FAQ in our website (docs.taichi.graphics) to describe the GGUI availability problem. And all these exceptions can be shortened and pointed to that link.
0d701c4
to
48eee8e
Compare
done |
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.
Thanks!
Related issue = #5090