Redirecting to fn.gtk_radio_tool_button_get_type.html...