log

age author description
Mon, 05 Apr 2004 21:56:59 +0000 Kim F. Storm Typo.
Mon, 05 Apr 2004 21:55:16 +0000 Kim F. Storm (handle_one_xevent): Set mouse_face_hidden after clearing highlight.
Mon, 05 Apr 2004 21:54:43 +0000 Kim F. Storm (clear_mouse_face): Only clear mouse highlight if not hidden.
Mon, 05 Apr 2004 21:54:17 +0000 Kim F. Storm (w32_read_socket): Set mouse_face_hidden after clearing highlight.
Mon, 05 Apr 2004 21:54:02 +0000 Kim F. Storm (clear_mouse_face): Only clear mouse highlight if not hidden.
Mon, 05 Apr 2004 21:45:28 +0000 Nick Roberts (gdb-use-inferior-io-buffer): New option.
Mon, 05 Apr 2004 21:44:38 +0000 Nick Roberts *** empty log message ***