diff src/xmenu.c @ 22446:5988c3c973db

(gud-filter): extend scope of binding of gud-filter-defer-flag.
author Richard M. Stallman <rms@gnu.org>
date Fri, 12 Jun 1998 05:59:33 +0000
parents fa9ff387d260
children dcff2a4b6cb4
line wrap: on
line diff