(dabbrev-case-fold-search, dabbrev-case-replace,
authorAndreas Schwab <schwab@suse.de>
Wed, 24 Jun 1998 08:54:53 +0000 (08:54 +0000)
committerAndreas Schwab <schwab@suse.de>
Wed, 24 Jun 1998 08:54:53 +0000 (08:54 +0000)
commiteaaca5ee781820a33749ca6db15097ce14dda48c
tree4ca963437d23f1aa5a3d968f18ce32810a2557e9
parent79221864ab7be8001b5b5bbac1349505c1b39000
(dabbrev-case-fold-search, dabbrev-case-replace,
dabbrev-check-other-buffers): Use `other' widget type.
lisp/dabbrev.el