The current implementations of the navigation tree do not support page updates that should affect a node that has already been opened once.
This improvement might require defining global events on page changes.
