diff src/term.c @ 22572:b1cba467a906

(dabbrev-case-fold-search, dabbrev-case-replace, dabbrev-check-other-buffers): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 08:54:53 +0000
parents 87c7f4bd99da
children d40f9a8d7779
line wrap: on
line diff