diff man/info.texi @ 54732:e04c6343cf61

(clear_mouse_face): Only clear mouse highlight if not hidden.
author Kim F. Storm <storm@cua.dk>
date Mon, 05 Apr 2004 21:54:43 +0000
parents 4b458413e987
children 8e90bf0fe781 1029206e72f2
line wrap: on
line diff