API Version: 4.1
Library Version: 2.42.0
void webkit_dom_document_exit_pointer_lock ( WebKitDOMDocument* self )
Use JavaScriptCore API instead.