From: ISHIKAWA Masaru <mishikawa at example.com>
Subject: [mew-dist 25060] Re: 新マーク (第2版)
> ということは
> (現)「"@"を何個かつけた後に、pickして("*"がつき)、"@"をつけて"F"する」
> (新)「"$"を何個かつけた後に、pickして("*"がつき)、"$"をつけてundoし、"F"する」
> という手順になる(undoすると"*"は隠れ、"$"は"*"になる)という理解で正しいでしょうか。
この場合、最後の部分は、単純に "$" を "*" へ変換するです。同じ意味かも
しれませんが、念のため。
--かず