diff man/screen.texi @ 88847:1538d056ea25

(display_mode_element): Fix call of Fset_text_properties.
author Dave Love <fx@gnu.org>
date Tue, 16 Jul 2002 13:57:00 +0000
parents d91a628dadfe
children b1d3c260dda5
line wrap: on
line diff