diff man/major.texi @ 26829:4189345a1b5d

(show_mouse_face): Don't use updated_area, use TEXT_AREA.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 14 Dec 1999 10:44:20 +0000
parents ac7e9e5e2ccb
children ea0fd9729fa7
line wrap: on
line diff