☰
DDOCs
GID:WEBKIT6
v0.9.13
/
webkit.web_inspector
/
WebInspector.close
🔍
☾
WebInspector.close
void close()
nothrow
Request inspector to be closed.