Hi, thanks for your report and please apologize the delay. I agree with you, the icon should not change when emacs is started as emacs. However, I don't see the icon change in my window manager (fvwm).
What desktop are you using? Does this happen immediately after starting emacs or only after visiting a Coq file? Bye, Hendrik -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
