From 764d3d4b302b7085214c75baa4a547c57d43e3dc Mon Sep 17 00:00:00 2001
From: Paddle <PaddleStroke@users.noreply.github.com>
Date: Thu, 11 May 2023 10:25:29 +0200
Subject: [PATCH] Pref: Wb: prevent duplicate workbenches in the lists.

---
 src/Gui/DlgSettingsWorkbenchesImp.cpp | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/Gui/DlgSettingsWorkbenchesImp.cpp b/src/Gui/DlgSettingsWorkbenchesImp.cpp
index 91947e3022..84269b6a18 100644
--- a/src/Gui/DlgSettingsWorkbenchesImp.cpp
+++ b/src/Gui/DlgSettingsWorkbenchesImp.cpp
@@ -254,9 +254,12 @@ void DlgSettingsWorkbenchesImp::saveSettings()
     std::ostringstream orderedStr, disabledStr, autoloadStr;
 
     auto addStrToOss = [](std::string wbName, std::ostringstream& oss) {
-        if (!oss.str().empty())
-            oss << ",";
-        oss << wbName;
+        if (oss.str().find(wbName) == std::string::npos) {
+            if (!oss.str().empty()) {
+                oss << ",";
+            }
+            oss << wbName;
+        }
     };
 
     for (int i = 0; i < ui->wbList->count(); i++) {