That's great news to hear. Is there any doc about this? How does it know when to switch between codeserver and production code?
On Fri, Apr 16, 2021, 15:46 Paul Robinson <[email protected]> wrote: > Vassilis - I don't use the bookmarklet. It may still work (I don't know) > but it's not needed in recent GWT versions. I just refresh my browser and > it recompiles automatically if anything has changed. > > Paul > > -- > 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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/google-web-toolkit-contributors/CAGHNWNJQdCRQ5NfRA--B7SLmxBZikc1tjfiabfX8%2BKnDWTgYOQ%40mail.gmail.com > <https://groups.google.com/d/msgid/google-web-toolkit-contributors/CAGHNWNJQdCRQ5NfRA--B7SLmxBZikc1tjfiabfX8%2BKnDWTgYOQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/google-web-toolkit-contributors/CAKbOjEyzUkkQ96cvoUqakoALzEVbOAacV3_F%2BtG6MGL3VXJOaw%40mail.gmail.com.
