Mon, 05 Apr 2004 23:27:37 +0000 |
Kenichi Handa |
(ethio-sera-being-called-by-w3): New
|
Mon, 05 Apr 2004 22:03:26 +0000 |
Kim F. Storm |
*** empty log message ***
|
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.
|