On 9 nov, 09:10, surfer <[EMAIL PROTECTED]> wrote: > many many thanks > using <set-property name="user.agent" value="gecko" /> > the time of compilation fell down from 3':10" to 1':37"
You should use gecko1_8 instead; gecko is for the legacy Mozilla used for hosted mode on Linux (equivalent to Firefox 1.0); gecko1_8 is for Firefox 1.5 through 3 (besides the engine actually being 1.9, but GWT doesn't make a difference between them). See https://developer.mozilla.org/fr/Gecko --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/Google-Web-Toolkit?hl=en -~----------~----~----~----~------~----~------~--~---
