I have some good news and some bad news...
The good news:
None of my original suspicions as to why Chrome LiveEdit does not work are
true.
Live editing works just fine when the script is injected in the page
programmatically by another script using DOM manipulations (ala xsiframe
linker). And
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
HotPatching via recompilation will require significant work in SDM. If you
just did the naive thing and patched in the JS that changed, stuff would
break:
1) clinit()s which have already been called would be restored, so classes
would get initialized twice
2) some instance fields of the class woul