「消しゴムツール」のオプションで「ヒストリーへ消去」をオンにした時の挙動はどれか。

消しゴムでなぞった部分を、以前の状態(ソース)に戻すことができる。