arbortext.extensions boolean arbortext.extensions Enable Arbortext extensions? If non-zero, Arbortext extensions will be used. This parameter can also affect which graphics file formats are supported