Export Interleaf
app.interleaf.extension
Returns and sets the file extension as string.
app.interleaf.extension = "doc"
app.interleaf.useStyles
Returns and sets if linestyles should be converted into single elements as boolean.
app.interleaf.useStyles = TRUE