WebKit2.FindController.prototype.get_options

function get_options(): Number(guint32) {
    // Gjs wrapper for webkit_find_controller_get_options()
}