Update the navigator

Refresh the navigator tree so freshly inserted or deleted datasets show up.

App.runInUI("Refresh navigator", lambda: Navigator.refresh())