InfoView window freezes after build fail

[geangs]

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

[onriv]

@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: Please also see if currently using it in web brouser like chrome give better experiement or not.

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!

[geangs]

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

[onriv]

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.

[geangs]

Issue seems resolved for me as of v0.0.17

[onriv]

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!