code: private void dumpHistory() {
          if (navigationManager.dumpHistoryOnLocationChange) {
              navigationManager.logger.trace("");
              navigationManager.logger.trace("Nav Controller: dump: begin ---------------------------------------------->");
              NavLocation curLoc = navigationManager.getModel().getCurrentLocation();
              while (curLoc != null) {
                  navigationManager.logger.trace("Nav Controller: dump: {}({})", curLoc.getLocationId());
                  curLoc = curLoc.getPreviousLocation();
              }
              navigationManager.logger.trace("Nav Controller: dump: end   ---------------------------------------------->");
              navigationManager.logger.trace("");
          }
      }
docs: Prints navigation history