set deletespaces
set deletespaces= { on | off}
When this option is set to on (the default), Arbortext Editor will remove a space when a cut or delete operation results in two consecutive spaces. When this option is set to off, both spaces will remain. Setting the option to off is useful for developers that perform a delete and an insert in separate steps and do not want to lose the space.