AutoDelete

AutoDelete

is an option for boxes that specifies whether a box is automatically deleted when its contents are edited.

Details

See Also

GridBox  InterpretationBox  TagBox

Tutorials

Introduced in 1996
(3.0)