API request: Adding WebEngine.userAgent

[Richard Bair]

> Vasiliy Baranov <vasiliy.baranov at oracle.com> wrote:
>> So, for WebEngine to send out the below system-dependent value, what 
>> should be the value of the WebEngine.userAgent property? null? That 
>> makes sense to me. It also makes sense for the WebEngine.userAgent 
>> property to default to null then.
> 
> This is magic I'd like to avoid. Most apps would set this property at
> most once and so would need no shortcut to the default value.
> 
> So the value of the property would be the actual UA string at all times.
> The default value would be different on different platforms -- that
> seems fine to me. Application code would sometimes want to
> conditionalize on os.name -- that seems fine too.

I think that makes sense. We need to be sure to document that the UA string is different on different platforms. Ideally it would be easy to compute and parse?

Richard