[mew-dist 25063] Re: 新マーク (第2版)

[ISHIKAWA Masaru]

From: Kazu Yamamoto (山本和彦) <kazu at example.com>
Subject: [mew-dist 25061] Re: 新マーク (第2版)
Date: Fri, 11 Jun 2004 10:07:35 +0900 (JST)

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

逆に「redoすると、"*"は"$"へ変換され、消えていた"*"が表示される」という
ことですね。

このredoは、undoした後だけに有効なのでしょうか。あるい任意の時点で実行
できて"*"を"$"に変換する、なのでしょうか。

undo/redoということばからはundoしてないものをredoできないとも言えるの
ですが、なんだか"*"を"$"に変換するという機能そのもの(一括退避)が便利な
気がします。スタックのことばならpush/pop/dupでしょうか。

石川