-
Notifications
You must be signed in to change notification settings - Fork 0
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
InfoView window freezes after build fail #15
Comments
@geangs Hi thanks for reporting this issue! I think I can reproduce it too and I am trying to fix it but it seems requiring some more tests. It freezes the infoview window but not the toal IDE right? BTW currently please try also using the command "Lean4: Restart Jcef Infoview" to see if it can temporally fix or not: Also the infoview can be open externally via clicking the link in build tool window: And it's a new draft version too! If possible please see if this is better: https://github.com/onriv/lean4ij/releases/download/v0.0.17-beta.1/lean4ij-0.0.17-beta.1.zip Thanks! |
Yes, only the InfoViewJcef window is frozen, everything else works as normal. The window works again after using Lean4: Restart Jcef Infoview, and it's also working in the brower. Unfortunately the issue persists after installing the new version but I no longer get any error messages |
Oh, maybe it's crashed by some other code include recently. Please fallback to 0.0.16 temporally. Many reason can make the infoview connection fails, currently it seems mostly by the other infoview implementation. |
Issue seems resolved for me as of v0.0.17 |
Yeah thanks for the update! I tested it and it seems to work in 0.0.17 too. Could we close the issue? Any problems feel free to open an other issue. Thanks for the feedback! |
Especially when failing due to an incorrect import statement, the window seems get stuck 100% of the time, only way to get it working again seems to be restarting the editor. The other non interactive InfoView seems to work but it's not as useful. I am using Rider 2024.2.5
stacktrace.txt
The text was updated successfully, but these errors were encountered: