# HG changeset patch # User Kim F. Storm # Date 1081202042 0 # Node ID c33e4ac43939f4465fe29543d865947c08b34514 # Parent 7bfccd78beed579de7fa2d14173f5173f5343f81 (clear_mouse_face): Only clear mouse highlight if not hidden. (dos_rawgetc): Set mouse_face_hidden after clearing highlight. diff -r 7bfccd78beed -r c33e4ac43939 src/msdos.c --- a/src/msdos.c Mon Apr 05 21:45:28 2004 +0000 +++ b/src/msdos.c Mon Apr 05 21:54:02 2004 +0000 @@ -1329,7 +1329,7 @@ static void clear_mouse_face (struct display_info *dpyinfo) { - if (! NILP (dpyinfo->mouse_face_window)) + if (!dpyinfo->mouse_face_hidden && ! NILP (dpyinfo->mouse_face_window)) show_mouse_face (dpyinfo, 0); dpyinfo->mouse_face_beg_row = dpyinfo->mouse_face_beg_col = -1; @@ -3131,7 +3131,7 @@ union REGS regs; struct display_info *dpyinfo = FRAME_X_DISPLAY_INFO (SELECTED_FRAME()); EVENT_INIT (event); - + #ifndef HAVE_X_WINDOWS /* Maybe put the cursor where it should be. */ IT_cmgoto (SELECTED_FRAME()); @@ -3342,8 +3342,8 @@ if (!dpyinfo->mouse_face_hidden && INTEGERP (Vmouse_highlight)) { + clear_mouse_face (dpyinfo); dpyinfo->mouse_face_hidden = 1; - clear_mouse_face (dpyinfo); } if (code >= 0x100)