Bug#746466: proofgeneral hijacks the emacs icon identity
Hi, FYI this bug is now also visible with KDE5 in stretch. The workaround (commenting "StartupWMClass=Emacs" in the proogeneral.desktop file) works. Thanks
Bug#746466: proofgeneral hijacks the emacs icon identity
Incidentally, after removing that entry, the ProofGeneral icon does still appear in the Application menu even though its not used for Yes, I believe I also saw this. I attributed this to some caching and hope that this goes away when we solve the other problem. Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#746466: proofgeneral hijacks the emacs icon identity
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 debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#746466: proofgeneral hijacks the emacs icon identity
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
Bug#746466: proofgeneral hijacks the emacs icon identity
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 debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#746466: proofgeneral hijacks the emacs icon identity
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
Bug#746466: proofgeneral hijacks the emacs icon identity
Package: proofgeneral Version: 4.3~pre130510-1.1 Severity: normal proofgeneral is doing something weird to the identity of the normal emacs window (launched normally, e.g. emacs from the command line, not using /usr/bin/proofgeneral). The icon of the window (e.g. the one displayed when cycling between windows using Alt-tab or Super-tab in Gnome 3.12) should be the emacs icon, e.g. /usr/share/icons/hicolor/scalable/apps/emacs23.svg, and labelled emacs or similar. Instead, a proofgeneral icon is used (e.g. /usr/share/icons/hicolor/48x48/proofgeneral.png) and the entry is labelled Proof General. I imagine the error arises from having proofgeneral load automatically via /etc/emacs/site-start.d/50proofgeneral.el. Nothing necessarily wrong with automatically loading it, it makes proofgeneral accessible via M-x proofgeneral. But it shouldn't take over the emacs identity, not unless it's invoked via /usr/bin/proofgeneral. -- System Information: Debian Release: jessie/sid APT prefers unstable APT policy: (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 3.13-1-amd64 (SMP w/8 CPU cores) Locale: LANG=en_AU.UTF-8, LC_CTYPE=en_AU.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages proofgeneral depends on: ii emacs23 23.4+1-4.1+b1 ii mmm-mode 0.5.1-2 proofgeneral recommends no packages. Versions of packages proofgeneral suggests: pn proofgeneral-doc none -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org