Re: [MD:4626] マウスカーソルが消えたときに mouse-face がそのまま残ります

[MIYOSHI Masanori <miyoshi@xxxxxxxxxxxxxxxx>]

>>>>> [meadow-develop : No.4626] にて
>>>>> "藤井" = "M.Fujii" <boochang@xxxxxxxxxxxx> さんは書きました:
藤井> w32-hide-mouse-on-key を non-nil にすると、キーを押したときにマウスカー
藤井> ソルが消えますが、この時の挙動が Meadow 1.15 と Meadow 2.00b2 では異な
藤井> ります。

藤井> Meadow 1.15 ではマウスカーソルが消えるときに mouse-face の表示も消える
藤井> のですが、Meadow2.00b2 では mouse-face の表示がそのまま残っているよう
藤井> です。

そうですね。
mouse-face も消えた方が良いと思います。


藤井> 以下のコードを追加すると、Meadow 2.00b2 でも mouse-face も消えるように
藤井> なりました。

ありがとうございます。

ただ、これだと、mouse-face が消えない場合があるようです。
mouse-face が表示された直後にキーを入力すると、この現象が出やすい
ようです。

この現象にもきちんと対処してから、commit したいと思います。

;; ちょっと時間がかかるかもしれません。

藤井> # tooltip も消えた方が良いように思いますが、何もしてません。

あれ?
tooltip はキー入力で消えませんか?

--
三好 雅則 mailto:miyoshi@xxxxxxxxxxxxxxxx
          http://www.boreas.dti.ne.jp/~miyoshi/ (Meadow2 のページ始めました)