Tue, 06 Apr 2004 02:58:04 +0000 |
Vinicius Jose Latorre |
printing doc fix.
|
Mon, 05 Apr 2004 23:30:44 +0000 |
Kenichi Handa |
*** empty log message ***
|
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.
|