API request: Adding WebEngine.userAgent

[David DeHaven]

The easy way to find out:
http://whatsmyuseragent.com

-DrD-

> Good question! What is the default value we want to use? "JavaFX-Webkit" or something?'
> 
> On Oct 31, 2012, at 9:41 AM, Werner Lehmann wrote:
> 
>> On second thought, I don't know this tag in Javadoc. Maybe it means "has a default value? yes".
>> 
>> On 31.10.2012 17:22, Werner Lehmann wrote:
>>> I suggest to use a different defaultValue though