comparison src/w32gui.h @ 42243:7a61cd1024b8

(Info-fontify-node): Remove any local-map text properties left over from past visits to this node.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 21 Dec 2001 19:30:00 +0000
parents 57a44aac3228
children 994f2deaa5bc
comparison
equal deleted inserted replaced
42242:7323f184dab6 42243:7a61cd1024b8