Improve navigator tree update: minimize update tree rather than restor from scratch