From de34f9c135e957aabec23b94e762d93aebd9f6ee Mon Sep 17 00:00:00 2001
From: wmayer <wmayer@users.sourceforge.net>
Date: Sun, 17 Feb 2019 19:49:06 +0100
Subject: [PATCH] PVS: V735 Possibly an incorrect HTML.

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

diff --git a/src/Gui/DlgWorkbenches.ui b/src/Gui/DlgWorkbenches.ui
index d4c5dcad52..1b1427ecc7 100644
--- a/src/Gui/DlgWorkbenches.ui
+++ b/src/Gui/DlgWorkbenches.ui
@@ -194,7 +194,7 @@
       <string>Sort enabled workbenches</string>
      </property>
      <property name="whatsThis">
-      <string>&lt;b&gt;Sort enabled workbenches&lt;/p&gt;</string>
+      <string>&lt;p&gt;Sort enabled workbenches&lt;/p&gt;</string>
      </property>
      <property name="text">
       <string/>