Ensure clearance between Dots and Flags; issue 1230

diff --git a/lily/dot-formatting-problem.cc b/lily/dot-formatting-problem.cc
index 4428b158daf194fda3663c523923ccfeccb99071..be375b540d96db2eee758c7b77b0b72560add285 100644 (file)
--- a/lily/dot-formatting-problem.cc
+++ b/lily/dot-formatting-problem.cc
@@ -45,7 +45,7 @@ Dot_formatting_problem::best () const
 
 Dot_formatting_problem::Dot_formatting_problem (vector<Box> const &boxes,
                                                 Interval base_x)
-  : head_skyline_ (boxes, 0.0, Y_AXIS, RIGHT)
+  : head_skyline_ (boxes, 0.2, Y_AXIS, RIGHT)
 {
   best_ = 0;
   head_skyline_.set_minimum_height (base_x[RIGHT]);