comparison leim/MISC-DIC/CTLau.html @ 54733:edff9ce01ed0

(handle_one_xevent): Set mouse_face_hidden after clearing highlight.
author Kim F. Storm <storm@cua.dk>
date Mon, 05 Apr 2004 21:55:16 +0000
parents 695cf19ef79e
children 23a17af379b1 375f2633d815
comparison
equal deleted inserted replaced
54732:e04c6343cf61 54733:edff9ce01ed0