Dots are shifted to avoid non-existent ledger lines (with custom ledger line positions)

[Paul Morris]

Here's an obscure one: when ledger line positions have been overridden, the 
positions of dots on dotted notes are still shifted to avoid ledger lines that 
are no longer there.  They don't seem to be shifted based on actual ledger line 
positions.

-Paul


\version "2.18.2"

greenNote =  \once \override NoteHead.color = #green

\markup { Dots are shifted to avoid non-existent ledger lines (see green 
notes). }

\new Staff \with {
  \override StaffSymbol.line-positions = #'(-4 0 4)
  \override StaffSymbol.ledger-positions = #'(-4 0 4)
}
\relative f' {
  \time 12/4
  c,4. d e
  \greenNote f
  g a b
  \greenNote c
  g''
  \greenNote a
  b c d
  \greenNote e
  f g
}

\markup { Dots are not being shifted based on actual ledger line positions.}

\new Staff \with {
  \override StaffSymbol.ledger-positions = #'(-3 -1 1 3 5)
}
\relative f' {
  c, d e f g a b c
}