From 76c1654d8e6daceabb68d530729f87194fa49fed Mon Sep 17 00:00:00 2001 From: Joe Neeman Date: Thu, 19 Aug 2010 12:59:32 -0700 Subject: [PATCH] Add overflow size to the page overflow warning. --- lily/page-layout-problem.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lily/page-layout-problem.cc b/lily/page-layout-problem.cc index 38a7548f3b..23069add37 100644 --- 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 -- 2.39.2