comparison man/widget.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 3649390c0f91
children 0830b9cce734
comparison
equal deleted inserted replaced
54731:4031909001d5 54732:e04c6343cf61