From 332f99caca84ec38f447c6fd4b130ae96e239932 Mon Sep 17 00:00:00 2001
From: Chris Hennes <chennes@pioneerlibrarysystem.org>
Date: Wed, 8 Sep 2021 09:06:14 -0500
Subject: [PATCH] [GUI] Change name of workbenches tab

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

diff --git a/src/Gui/DlgSettingsLazyLoaded.ui b/src/Gui/DlgSettingsLazyLoaded.ui
index 656dd1eaee..b1272ae89c 100644
--- a/src/Gui/DlgSettingsLazyLoaded.ui
+++ b/src/Gui/DlgSettingsLazyLoaded.ui
@@ -11,7 +11,7 @@
    </rect>
   </property>
   <property name="windowTitle">
-   <string>Unloaded Workbenches</string>
+   <string>Available Workbenches</string>
   </property>
   <layout class="QGridLayout" name="gridLayout_3">
    <item row="1" column="0">