get_tab_from_location

Description:

public unowned Tab get_tab_from_location (File location)

Gets the Tab that matches with the given location.

Parameters:

this

a Window
location

a File

Returns:

the Tab that matches with the given location.