AutoDelete

AutoDelete
ボックスオブジェクトのオプションで,ボックスの内容が変更されたときにそのボックスを自動的に削除するかどうかを指定する.

詳細詳細

  • 設定がAutoDelete->TrueのときはInterpretationBox等のボックスが変更されるとボックスは削除される.
  • 設定がAutoDelete->Falseのときは,ボックスはその場に残る.削除は手動で行わなければならない.
1996年に導入
(3.0)