Tweak the accuracy for Hairpin pure-height.

diff --git a/lily/hairpin.cc b/lily/hairpin.cc
index b20c9827e240417d491e15e10db7c0fab65f237f..249c50206a4803f0f10252521b898318596f6efa 100644 (file)
--- a/lily/hairpin.cc
+++ b/lily/hairpin.cc
@@ -42,9 +42,14 @@ SCM
 Hairpin::pure_height (SCM smob, SCM, SCM)
 {
   Grob *me = unsmob_grob (smob);
-  Real height = robust_scm2double (me->get_property ("height"), 0.0);
+  Real height = robust_scm2double (me->get_property ("height"), 0.0)
+    * Staff_symbol_referencer::staff_space (me);
 
-  return ly_interval2scm (Interval (-height/2, height/2));
+  Real thickness = robust_scm2double (me->get_property ("thickness"), 1)
+    * Staff_symbol_referencer::line_thickness (me);
+
+  height += thickness / 2;
+  return ly_interval2scm (Interval (-height, height));
 }
 
 void