Another option would be to abandon Chrome LiveEdit completely in favor of a do-it-yourself approach. JavaScript does allow functions and variables redefinition, so maybe we can just inject another <script> inside the iframe with the newly recompiled permutation? (To have this instantaneous, only a script containing the changed types should be injected, however I'm not sure if/what needs to be fixed so that sourcemaps continue to work after that.)
-- 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/eeeb5252-162b-4381-a3fa-14da59fa9873%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
