# HG changeset patch
# User Chris Cannam
# Date 1541511296 0
# Node ID d18ca558049eff0f253add17dcbc923c44b72daf
# Parent  5a051ca3170ec7cd4b62e63a2f841194c1eee845
Use label of property for tooltip, not just id of it

diff -r 5a051ca3170e -r d18ca558049e widgets/PropertyBox.cpp
--- a/widgets/PropertyBox.cpp	Tue Nov 06 11:13:13 2018 +0000
+++ b/widgets/PropertyBox.cpp	Tue Nov 06 13:34:56 2018 +0000
@@ -834,6 +834,11 @@
         }
     }
 
+    QString propertyLabel;
+    if (wname != "") {
+        propertyLabel = m_container->getPropertyLabel(wname);
+    }
+    
     if (w == m_showButton) {
         emit contextHelpChanged(tr("Toggle Visibility of %1").arg(cname));
     } else if (w == m_playButton) {
@@ -842,10 +847,10 @@
         return;
     } else if (qobject_cast<QAbstractButton *>(w)) {
         emit contextHelpChanged(tr("Toggle %1 property of %2")
-                                .arg(wname).arg(cname));
+                                .arg(propertyLabel).arg(cname));
     } else {
         emit contextHelpChanged(tr("Adjust %1 property of %2%3")
-                                .arg(wname).arg(cname).arg(extraText));
+                                .arg(propertyLabel).arg(cname).arg(extraText));
     }
 }