docker will now save the splitter distance. added a treeview that keeps selected nodes highlighted.