diff src/xmenu.c @ 70878:8740ce7e1367

(gud-sentinel): Condition on GUD buffer if it has not been killed.
author Nick Roberts <nickrob@snap.net.nz>
date Wed, 24 May 2006 12:05:03 +0000
parents cd5b1fdef8d6
children 07d4cb17def5 d9f8d2a65d18 2ecafc6d5db7
line wrap: on
line diff