[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#642048: proofgeneral: Busy waits at 100% CPU for splash screen timeout

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.

Reply to: