|
From: | Eli Zaretskii |
Subject: | Re: Proposal: Only highlight mouse-face when mouse is moved |
Date: | Sat, 16 Feb 2002 21:41:01 +0200 |
> From: address@hidden (Kim F. Storm) > Date: 15 Feb 2002 23:27:07 +0100 > > Here is a complete patch (except for NEWS and ChangeLog) which also > (attempts to) work for the w32 and msdos ports -- neither of which I > can test myself. Thanks. The MS-DOS port seems to work fine, although I cannot say I like this new behavior much more than the old one. (Note that the MS-DOS port cannot change the shape of the mouse pointer.)
[Prev in Thread] | Current Thread | [Next in Thread] |