get_option


Description:

public unowned Option get_option (string key)

Gets the option for the given key.

Parameters:

this

a Core

key

the key of the option

Returns:

the option