XuhengLi

I doubled checkd that there is no two frames. I'll try it on ubuntu. Here is my environment: Proof General 4.5-git coq 8.4pl6 (October 2020) Spacemacs v.0.300.0 company-coq 20210708.2357 Emacs...

I am not able to launch emacs GUI from the terminal. I did some search and it seems I need to install cask version of emacs. Would that be problem?

Ok, I just reinstalled cask emacs and start emacs with only pg and multi-frames works. I'll look into my plugins.

Thank you so much for your response. I am not using Aquamacs. I just tested different configs of my spacemacs. When installing spacemacs, there will be two options - regular...

Ahh not really. The spacemacs normal config has too many dependencies across packages so I cannot find what causes the problem. I just gave up.