diff src/minibuf.c @ 22588:b7a3c5541bc5

(ispell-highlight-p, ispell-check-comments, ispell-help-in-bufferp, ispell-skip-sgml): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 09:14:31 +0000
parents a57016ec7f14
children d19cd2986f18
line wrap: on
line diff