Add overflow size to the page overflow warning.

diff --git a/lily/page-layout-problem.cc b/lily/page-layout-problem.cc
index 38a7548f3b785fbdbfd0ad83bea6a910a60a9cd1..23069add37372d4d1040923e9cab4ec83541a1f4 100644 (file)
--- a/lily/page-layout-problem.cc
+++ b/lily/page-layout-problem.cc
@@ -305,7 +305,8 @@ Page_layout_problem::solve_rod_spring_problem (bool ragged)
   solution_ = spacer.spring_positions ();
 
   if (!spacer.fits ())
-    warning (_ ("couldn't fit music on page"));
+    warning (_f ("couldn't fit music on page: overflow is %f",
+                spacer.configuration_length(spacer.force()) - page_height_));
 }
 
 // The solution_ vector stores the position of every live VerticalAxisGroup