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 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/eeeb5252-162b-4381-a3fa-14da59fa9873%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
