Unity.OptionsFilter.add_option – unity Reference Manual
add_option
Description:
public
FilterOption
add_option
(
string
id,
string
display_name,
Icon
? icon_hint =
null
)
2022 vala-language.org