Overriding staff-padding for MeasureCounter fails

[Ed Gordijn]

Hi,

I tried to align the numbers of the MeasureCounter engraver but the 
override doesn't have effect. Is this a bug or am I doing something 
wrong here?

Greetings, Ed


\version "2.18.0"

{
  \override Staff.MeasureCounter.staff-padding = #4
  \startMeasureCount
  \repeat percent 4 { g''4 g'' g'' g'' }
  \stopMeasureCount
}

\layout {
  \context {
    \Staff
    \consists #Measure_counter_engraver
    % \override MeasureCounter.staff-padding = #4  % doesn't work either
  }
}