|Subject:||Re: Mention mouse-face changes mouse pointer shape|
|Date:||Thu, 22 Feb 2007 17:33:51 +0000|
|User-agent:||Thunderbird 22.214.171.124 (Windows/20061207)|
Kim F. Storm wrote:
If necessary, a pointer property can still be used to select another cursor shape.
You are right. It can.
|[Prev in Thread]||Current Thread||[Next in Thread]|