diff man/ediff.texi @ 41016:7cbfb84f7362

(electric-buffer-update-highlight): New function. (electric-buffer-overlay): New variable. (electric-buffer-menu-looper): Call electric-buffer-update-highlight. (electric-buffer-list): Likewise.
author Richard M. Stallman <rms@gnu.org>
date Tue, 13 Nov 2001 17:29:40 +0000
parents 62e02f5ae533
children 3ce98f3e0608
line wrap: on
line diff