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

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

藤井です。

From: MIYOSHI Masanori <miyoshi@xxxxxxxxxxxxxxxx>
Subject: Re: [MD:4626] マウスカーソルが消えたときに mouse-face がそのまま残ります
Date: Sat, 06 Sep 2003 02:39:24 +0900
Message-ID: <ufzjb6soj.wl%miyoshi@xxxxxxxxxxxxxxxx>
> 藤井> で、あらためて試してみたのですが、普通のキーの入力では 
> 藤井> tooltip が消えますが、 Shift や Ctrl のみを押した場合は消え
> 藤井> ないようです。
> 
> pre-command-hook で tooltip を消しているので、仕様だと思います。

成程、仕様ですか。

> 藤井> mouse-face と help-echo を両方適用したテキストで試すと、
> 藤井> Shift キーを押すとマウスカーソルと mouse-face は消えるので
> 藤井> すが、tooltip だけが残ります。
> 
> mouse-face と tooltip の消えるタイミングが微妙に違うと、ちょっと
> 気になりまね。

そうですね。

> どちらかというと、現状の tooltip のように、入力するコマンドが確定
> するときに消えてくれるのが、私の好みです。

私はキー押下時でもコマンド確定時でもどちらでも構わないです。

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