Hi, I was able to reproduce the problem with gnome now. BTW, KDE doesn't have this problem.
The problem is not the emacs lisp code that runs on every emacs startup (try commenting the load line in /etc/emacs/site-start.d/50proofgeneral.el!) the problem is the line StartupWMClass=Emacs in /usr/share/applications/proofgeneral.desktop . When you comment this line, the gnome desktop shows the emacs icon for emacs. However, it will then also show the emacs icon for proofgeneral. As intermediate solution I will comment the WMClass line. But I will keep this bug open until I find out whether there is a solution that shows the right icons for both, emacs and proofgeneral. Bye, Hendrik -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
