API Version: 6.0
Library Version: 2.39.3
Generated by gi-docgen 2023.1
property options: WebKitWebExtension.DOMHTMLOptionsCollection [ read ]
WebKitDOMHTMLOptionsCollection
webkit_dom_html_select_element_get_options()