get_filename

Description:

[ Version ( since = "3.2" ) ]
public unowned string get_filename ()

Gets the filename that was either previously set or retrieved when decoding a gzip stream.

Parameters:

this

A FilterGZip filter

Returns:

a string containing th ename of the file.