[Message Prev][Message Next][Thread Prev][Thread Next][Message Index][Thread Index]

Re: w32-hide-mouse-timeout の存在価値



On 10/12/05, Kyotaro HORIGUCHI <horiguti@xxxxxxxxxxx> wrote:
> 対処ができました. r3898です.

うちでも、期待したとおりに消えることが確認できました。

ところでcommitメールを見ていて気づいたのですが、

  Fixed ticket: 182

というのは

  Fixed ticket:182

と、空白をあけずに続けて書くのが吉です。違いはこう現れます。
http://www.meadowy.org/meadow/changeset/3898
http://www.meadowy.org/meadow/changeset/3895

--
Shun-ichi GOTO (後藤俊一)