☰
DDOCs
GID:WEBKIT6
v0.9.13
/
webkit.settings
/
Settings.getUserAgent
🔍
☾
Settings.getUserAgent
string getUserAgent()
nothrow
Get the #WebKitSettings:user-agent property.
Returns
The current value of the user-agent property.