WebKit.OptionMenuItem.is_group_label – webkit2gtk-4.0 Reference Manual

is_group_label

Description:

public bool is_group_label ()

Whether a OptionMenuItem is a group label.

Parameters:

this

a OptionMenuItem

Returns:

true if the this is a group label or false otherwise.


2022 vala-language.org