diff etc/INTERVIEW @ 37477:6a7ab4d2c7b3

(toggle_highlight): New function. (turn_on_face): Change handling of reverse video.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 25 Apr 2001 18:31:33 +0000
parents 6b5aacec5ace
children c53a9463c31a
line wrap: on
line diff