indenting preferences page

NOTE the old indenter not yet fully obeys these settings
but the new one will.