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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
