visuino-formatted-text-properties