Re: [Lilypond-auto] Issue 2648 in lilypond: Repeat Dots and Staff Size in 2.15.41

[lilypond]

Comment #3 on issue 2648 by address@hidden: Repeat Dots and Staff  
Size in 2.15.41
http://code.google.com/p/lilypond/issues/detail?id=2648

I'm not in a position to compile c++ at the moment, so I can't check this  
and may be completely wrong, but this line in lily.bar-line.cc, introduced  
by the fix to 2533, looks suspicious:

  145               /*
  146                 gap is measured like line-positions;
  147                 1.0 for dot diameter, twice the staffline width for  
the
  148                 gap above and below and one more staffline width for  
the
  149                 two half stafflines
  150               */
  151               Real const gap_to_find = (1.0 + 3 * staffline) /  
staff_space;

gap_to_find gets larger as staff_space gets smaller; shouldn't it get  
smaller?

Maybe try:

  151               Real const gap_to_find = (1.0 + 3 * staffline) *  
staff_space;

Trevor