Structure pane reflects changes to DOM (lazily, by refreshing whole page)