|From:||Lennart Borgman (gmail)|
|Subject:||Re: Mention mouse-face changes mouse pointer shape|
|Date:||Thu, 22 Feb 2007 18:44:40 +0100|
|User-agent:||Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:126.96.36.199) Gecko/20061207 Thunderbird/188.8.131.52 Mnenhy/0.7.4.666|
Jason Rumney wrote:
Kim F. Storm wrote:If necessary, a pointer property can still be used to select another cursor shape.You are right. It can.
Fine. Then it looks like it should suffice to document the current behaviour, maybe at those places I pointed to?
|[Prev in Thread]||Current Thread||[Next in Thread]|