get_extract_name


Description:

public unowned string? get_extract_name ()

Get the file name to use for extraction, or null.

Parameters:

this

a File

Returns:

a file name