get_name

Description:

public unowned string get_name ()

Gets the human-readable name that should be used to refer to this.

If the user has not set a special name, a fallback like "Workspace 3" will be used.

Parameters:

this

a Workspace.

Returns:

the name of this.