On Sun, 2014-10-26 at 21:58 +0100, Hendrik Tews wrote: > the problem is the > line > > StartupWMClass=Emacs > > in /usr/share/applications/proofgeneral.desktop .
Sounds like it might be tricky to sort out! Incidentally, after removing that entry, the ProofGeneral icon does still appear in the Application menu even though its not used for Alt-Tab switching. Thanks, Drew -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
