diff src/.gdbinit @ 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 4379a41b6f2e
children c26a9f95a880
line wrap: on
line diff