pub const pdf_widget_tx_format_PDF_WIDGET_TX_FORMAT_SPECIAL: pdf_widget_tx_format = 2;