Hi Jeremie, what do you mean by 15s reload? Does the compiler take 15s to detect that you do not have a change? (this would be bad).
-Daniel On Tue, Oct 21, 2014 at 10:44 AM, Jérémie Gottero <jeremiegott...@gmail.com> wrote: > It works like a charm, thanks. I still have ~15sec of "compilation" to > reload the page even when nothing has changed, but I guess it would be > faster with a ssd drive. > > > Le lundi 20 octobre 2014 16:51:19 UTC+2, Daniel Kurka a écrit : >> >> With GWT 2.7 you do not need any bookmarklet stuff anymore. You can just >> bring it up through the old dev mode integration in eclipse, see: >> >> https://www.youtube.com/watch?v=qpCSbj36O44 >> >> PS: You do not need the -superDevMode anymore its now default. >> >> On Mon, Oct 20, 2014 at 3:38 PM, Jérémie Gottero <jeremie...@gmail.com> >> wrote: >> >>> Hello, >>> I have tried GWT 2.7 beta today, and first of all you guys made an >>> awesome job to reduce compile time (x4/5 faster on my 500k LoC project). >>> There is however a CodeServer behavior that I don't understand: why the >>> precompile flag is always turned off in incremental mode? >>> >>> if (incremental && !noPrecompile) { >>> System.out.println("Turning off precompile in incremental mode."); >>> noPrecompile = true; >>> } >>> >>> In my dev env, I never use the DevMode On/Off bookmarklets: I always >>> load js files from the CodeServer url, and I wrote a small GWT utility >>> class to display a "recompile" button which is embedded in my app UI (it >>> does the same thing as the bookmarklet, ie calling >>> codeserverurl/recompile). It's easier to use for others devs: no need to >>> explain them the bookmarklet stuff, they just have to launch the >>> CodeServer. With 2.7 I can't use this trick anymore: I need the bookmarklet >>> to do a first compilation to be able to load my app. Is there a reason to >>> prevent precompilation in incremental mode? >>> >>> Regards, >>> Jeremie >>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "GWT Contributors" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to google-web-toolkit-contributors+unsubscr...@googlegroups.com >>> . >>> To view this discussion on the web visit https://groups.google.com/d/ >>> msgid/google-web-toolkit-contributors/46bc27ce-d8a3- >>> 40ad-9629-b2c6d3bfe961%40googlegroups.com >>> <https://groups.google.com/d/msgid/google-web-toolkit-contributors/46bc27ce-d8a3-40ad-9629-b2c6d3bfe961%40googlegroups.com?utm_medium=email&utm_source=footer> >>> . >>> For more options, visit https://groups.google.com/d/optout. >>> >> >> >> >> -- >> Google Germany GmbH >> *Dienerstr. 12* >> *80331 München* >> >> Registergericht und -nummer: Hamburg, HRB 86891 >> Sitz der Gesellschaft: Hamburg >> Geschäftsführer: Graham Law, Katherine Stephens >> > -- > You received this message because you are subscribed to the Google Groups > "GWT Contributors" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to google-web-toolkit-contributors+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/google-web-toolkit-contributors/de430b92-1afd-4843-8b24-83b33ae3179c%40googlegroups.com > <https://groups.google.com/d/msgid/google-web-toolkit-contributors/de430b92-1afd-4843-8b24-83b33ae3179c%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > For more options, visit https://groups.google.com/d/optout. > -- Google Germany GmbH *Dienerstr. 12* *80331 München* Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschäftsführer: Graham Law, Katherine Stephens -- You received this message because you are subscribed to the Google Groups "GWT Contributors" group. To unsubscribe from this group and stop receiving emails from it, send an email to google-web-toolkit-contributors+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/google-web-toolkit-contributors/CALLujirhXgbCvzMVVptKir204o_fRxYGMdGPu2tdffvkC6Sh%3Dw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
