diff src/unexmips.c @ 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 695cf19ef79e
children a8fa7c632ee4 375f2633d815
line wrap: on
line diff