Package: proofgeneral
Version: 3.7-4
On startup, proofgeneral displays a splash screen and goes into a busy
wait loop that causes Emacs to use 100% CPU, Xorg to use about 50%, and
parts of the Emacs window to flash very quickly. This persists for 10
seconds or until the splash screen is dismissed.
The loop in question is proof-splash-timeout-waiter in
generic/proof-splash.el.
--
To UNSUBSCRIBE, email to debian-qa-packages-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4e767cc7.5080...@mit.edu