diff BUGS @ 31792:bad7093b5361

(electric-help): New defgroup. (electric-help-shrink-window): New user-option. (with-electric-help): Use it.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 20 Sep 2000 20:39:20 +0000
parents 354e0c45cedf
children af68d12218d0
line wrap: on
line diff