TdxRichEditTablePropertiesMask = set of TdxRichEditUsedTableFormattingOption;