// ====================================================================== // ---------------------------------------------------------------------- public void SaveNavigationState() { NavigationHistory.Save(Storage); }