diff lispintro/lambda-2.eps @ 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 5791a1f3fd71
children 6ad2412f0362
line wrap: on
line diff