From d5b68febbb4989b290b9af36bb2cb21d61a87a2e Mon Sep 17 00:00:00 2001
From: Chris Hennes <chennes@gmail.com>
Date: Sun, 3 Jan 2021 16:14:43 -0600
Subject: [PATCH] Add Workbench name as Tab item tooltip

In cases where the user's font is large or the Workbench name is long,
the new, narrower sidebar may not display the entire workbench name. To
address those cases, the tooltip for the element is now also set to the
workbench name. Thanks to Github user @marioalexis84 for the suggestion.
---
 src/Gui/DlgPreferencesImp.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Gui/DlgPreferencesImp.cpp b/src/Gui/DlgPreferencesImp.cpp
index d5d327090c..20757c309b 100644
--- a/src/Gui/DlgPreferencesImp.cpp
+++ b/src/Gui/DlgPreferencesImp.cpp
@@ -126,6 +126,7 @@ QTabWidget* DlgPreferencesImp::createTabForGroup(const std::string &groupName)
     QListWidgetItem* item = new QListWidgetItem(ui->listBox);
     item->setData(GroupNameRole, QVariant(groupNameQString));
     item->setText(QObject::tr(groupNameQString.toLatin1()));
+    item->setToolTip(QObject::tr(groupNameQString.toLatin1()));
     std::string fileName = groupName;
     for (auto & ch : fileName) {
         if (ch == ' ') ch = '_';