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