When reopening a folder, the panel created by Agda-mode is restored as an empty window

[vic0103520]

It can be reproduced by loading a file in a folder, closing vscode and reopening the folder.
It doesn't affect functionality, but it's annoying.

[banacorn]

Patch on the way!

[vic0103520]

Thanks! By the way, I'm planning to implement a Unicode input method for Agda on macos. I think this would reduce the effort required to maintain agda-mode. Ting-gian LUA ***@***.***> 於 2024年11月28日 週四 09:25 寫道：

…

Patch on the way! — Reply to this email directly, view it on GitHub <#197 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AK7LA2WI32RFD6W6ZVIRNKL2CZWH5AVCNFSM6AAAAABRMVWB4WVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDKMBVGA4DSNJUGU> . You are receiving this because you authored the thread.Message ID: ***@***.***>