[ Version ( since = "3.2" ) ]
public unowned string get_filename ()
Gets the filename that was either previously set or retrieved when decoding a gzip stream.
| this |
A FilterGZip filter |
|
a string containing th ename of the file. |