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

["M.Fujii" <boochang@xxxxxxxxxxxx>]

藤井です。

From: MIYOSHI Masanori <miyoshi@xxxxxxxxxxxxxxxx>
Subject: Re: [MD:4626] マウスカーソルが消えたときに mouse-face がそのまま残ります
Date: Fri, 05 Sep 2003 06:13:24 +0900
Message-ID: <uoey09s0b.wl%miyoshi@xxxxxxxxxxxxxxxx>
> 藤井> # tooltip も消えた方が良いように思いますが、何もしてません。
> 
> あれ?
> tooltip はキー入力で消えませんか?

元々キー入力で消えるようになっているので、特に何もしなくていいだろうと
思って上のように書きました。ですが、上の文ではキーを押しても消えないけ
ど何もしていないという意味に受け取れてしまいますね。表現が悪かったです。

で、あらためて試してみたのですが、普通のキーの入力では tooltip が消え
ますが、 Shift や Ctrl のみを押した場合は消えないようです。

mouse-face と help-echo を両方適用したテキストで試すと、Shift キーを押
すとマウスカーソルと mouse-face は消えるのですが、tooltip だけが残りま
す。

--
藤井 正行 / Masayuki FUJII ( boochang@xxxxxxxxxxxx )