diff COPYING @ 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 a21a2f14a765
children d92149473c34
line wrap: on
line diff