In message [mew-dist 20136], on Tue, 22 Jan 2002, Kazu Yamamoto <kazu at example.com> wrote: > $inbox のことだとして、自動的に mew-case-input:$inbox となるのは、不便 > な場合もある気がします。 「現在受信に使っているcaseは無視して"default"のサーバーの状態を確 認する」ことよりも「現在受信に使っているサーバーの状態を確認する」 ということの方が多そうなので、私は、mew-case-inputの方を省略して 手間を省きたい気がしています。 -- 木下達也