diff src/widget.c @ 9519:c7925093b270

(gud-filter): Don't bind inhibit-quit. Do nothing if buffer is dead.
author Richard M. Stallman <rms@gnu.org>
date Thu, 13 Oct 1994 18:20:55 +0000
parents 786a658d3687
children 33dcf295f62a
line wrap: on
line diff