On Fri, 2014-10-24 at 22:56 +0200, Hendrik Tews wrote: > > What desktop are you using? Does this happen immediately after > starting emacs or only after visiting a Coq file? >
I'm using Gnome from unstable (currently gnome-shell 3.14.0-1) The wrong icon shows up immediately when emacs is invoked, no reference to coq at all. e.g. it appears in the alt-tab icon list of running applications. Drew -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
