Introduce DomTree.isEmpty()
Properly display no-chidlren message in the DOM panel
Restore DOM panel tree state when switching path-views