diff =PROBLEMS @ 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 507f64624555
children
line wrap: on
line diff