Elenco definitivo delle proprietà user.agent di GWT e dei browser corrispondenti a

Question

Qualcuno conosce un elenco definitivo delle proprietà user.agent di GWT e dei browser di destinazione? Sarò dannato se riuscirò a trovare una cosa simile ovunque sul web!

Answer 1

più recenti di GWT "user.agent" i valori delle proprietà possono essere trovati nel file di UserAgent.gwt.xml:

<define-property name="user.agent" values="ie6" /> <!-- ie6 also matches ie7--> 
    <extend-property name="user.agent" values="ie8" /> 
    <extend-property name="user.agent" values="gecko1_8" /> <!-- Firefox 3.0+ --> 
    <extend-property name="user.agent" values="safari" /> <!-- Webkit based browsers, usually Safari&Chrome--> 
    <extend-property name="user.agent" values="opera" /> 
    <extend-property name="user.agent" values="ie9" fallback-value="ie8" /> 

Codice che risolve i valori delle proprietà può essere trovato alla classe com.google.gwt.useragent.rebind.UserAgentPropertyGenerator

Ma questi valori variano da una versione all'altra , a volte anche i valori di default e il provider di proprietà possono essere sovrascritti.

Answer 2

Bene, non ho abbastanza reputazione per commentare la risposta esistente, quindi ecco un'altra risposta, invece! Questo è solo per notare che il codebase è stato spostato e che il file sorgente GWT che contiene questa informazione è ora spostato. La nuova sede è: https://gwt.googlesource.com/gwt/+/master/user/src/com/google/gwt/useragent/UserAgent.gwt.xml

Al momento della scrittura, la lista è:

<define-property name="user.agent" values="ie8" /> 
<extend-property name="user.agent" values="gecko1_8" /> 
<extend-property name="user.agent" values="safari" /> 
<extend-property name="user.agent" values="ie9" fallback-value="ie8" /> 
<extend-property name="user.agent" values="ie10" />