From 32650526b7ffb1fd2abd923b3a2c083f8d3eda39 Mon Sep 17 00:00:00 2001
From: Ronny Standtke <ronny.standtke@gmx.net>
Date: Wed, 12 Apr 2023 19:43:41 +0200
Subject: [PATCH] removed redundant "Toggle visibility" menu item from View
 menu

---
 src/Gui/Workbench.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Gui/Workbench.cpp b/src/Gui/Workbench.cpp
index 3eb97f0df5..a428b1d539 100644
--- a/src/Gui/Workbench.cpp
+++ b/src/Gui/Workbench.cpp
@@ -686,7 +686,7 @@ MenuItem* StdWorkbench::setupMenuBar() const
           << "Std_ViewVR"
 #endif
           << "Separator" << visu
-          << "Std_ToggleVisibility" << "Std_ToggleNavigation"
+          << "Std_ToggleNavigation"
           << "Std_SetAppearance" << "Std_RandomColor" << "Separator"
           << "Std_Workbench" << "Std_ToolBarMenu" << "Std_DockViewMenu" << "Separator"
           << "Std_TreeViewActions"