You can specify multiple user agents in the user.agent string.
<set-property name="user.agent" value="ie10,gecko,gecko1_8" />
Also, it depends on what you mean by "desktop, mobile, and tablet". The
"safari" user.agent settings covers Chrome, Safari and most likely any
webkit or blink based browser for desktop, mobile and tablet.
Also, consider that "user.agent" in GWT does not necessarily equal the
browser user agent. Each user.agent may support multiple browsers.
Look up com.google.gwt.user.UserAgent.gwt.xml, for possible user.agent
values.
Jonathon Lamon
Principle Software Engineer
Perceptronics Solutions Inc.
Tel 703-485-2922
Cell 269-205-4649
www.percsolutions.com
On Thu, Nov 13, 2014 at 11:01 AM, Ali Akhtar <[email protected]> wrote:
> If I specify the user-agent through <set property>, then it would only
> generate one permutation for that user agent.
>
> What I want to do instead is, I want to specify 2-3 user agents, and have
> SDM generate permutations for all 3 of those user agents with each refresh.
>
> That way, I can see a refresh for desktop, mobile, and tablet all at once,
> when i recompile SDM.
>
> Is that possible?
>
> --
> You received this message because you are subscribed to a topic in the
> Google Groups "Google Web Toolkit" group.
> To unsubscribe from this topic, visit
> https://groups.google.com/d/topic/google-web-toolkit/KsvUwfRD4kE/unsubscribe
> .
> To unsubscribe from this group and all its topics, send an email to
> [email protected].
> To post to this group, send email to [email protected].
> Visit this group at http://groups.google.com/group/google-web-toolkit.
> For more options, visit https://groups.google.com/d/optout.
>
--
You received this message because you are subscribed to the Google Groups
"Google Web Toolkit" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/google-web-toolkit.
For more options, visit https://groups.google.com/d/optout.
