diff oldXMenu/XMenuInt.h @ 72744:1c7fb3ed1a95

(desktop-read): when loading a desktop, disable saving it while the load progresses, and switch off a pending lazy load by calling `desktop-lazy-abort'.
author David Kastrup <dak@gnu.org>
date Fri, 08 Sep 2006 19:47:27 +0000
parents e8a3fb527b77
children ce127a46b1ca d04d8ccb3c41 c5406394f567
line wrap: on
line diff