diff build-ins.in @ 22589:08ff5fd1e950

(lazy-lock-defer-on-scrolling, lazy-lock-defer-contextually): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 09:15:11 +0000
parents 1541c518f769
children
line wrap: on
line diff