Updating pe.html with new shell (CodeMirror refresh).
Rerouting click handling in the tree, handling zoom-on-focus in editor.