Unity.OptionsFilter.get_option – unity Reference Manual
get_option
Description:
public
FilterOption
?
get_option
(
string
id)
2022 vala-language.org