FileSaver.setCompressionType

void setCompressionType(gtksource.types.CompressionType compressionType)

Sets the compression type. By default the compression type is taken from the #GtkSourceFile.

Parameters

compressionTypethe new compression type.