API request: Adding WebEngine.userAgent

[Peter Zhelezniakov]

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.

-- 
Peter