diff src/widget.c @ 15782:096142df0b36

(edebug-trace-display): Save and restore current buffer.
author Richard M. Stallman <rms@gnu.org>
date Wed, 24 Jul 1996 16:36:41 +0000
parents 8704666feefd
children 10d82268090b
line wrap: on
line diff