get_options


Description:

public SessionOptions get_options ()

Get the options this session was opened with.

Parameters:

this

The session to get options from.

Returns:

The session options.




2022 vala-language.org