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